[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Experiments with Invariant Generation Using a Saturation Theorem Prover";
Talk: AdaCore Paris, Paris, France (invited); 2011-04-18.

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