[Back]


Publications in Scientific Journals:
L. Kovacs:
"Symbol Elimination for Automated Generation of Program Properties";
ECEASST (invited), ECEASST (2014), 70; 1 - 2.

Electronic version of the publication:
http://journal.ub.tu-berlin.de/eceasst/article/view/974

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