[Back]


Talks and Poster Presentations (with Proceedings-Entry):
L. Kovacs:
"First-Order Theorem Proving and Program Analysis";
Talk: LCCC-ACCESS workshop on Model-Based Engineering, Lund, Sweden (invited); 2015-05-04 - 2015-05-06; in: "Proc. of the LCCC-ACCESS workshop on Model-Based Engineering", J. Baras et al. (ed.); (2015), ISSN: 0280-5316; 192 - 217.

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