Publication Entry

[Back]

Talks and Poster Presentations (without Proceedings-Entry):

I. Dragan:
"Lingva: Generating and Proving Program Properties using Symbol Elimination";
Talk: Alpine Verification Meeting, Frejus, France; 2014-05-12 - 2014-05-14.

Created from the Publication Database of the Vienna University of Technology.