[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Interpolation and Symbol Elimination";
Talk: RiSE Workshop, Technical University of Graz; 2010-02-22 - 2010-02-23.

Keywords:
software verification, interpolation, invariant generation, theorem proving

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