Talks and Poster Presentations (with Proceedings-Entry):

D. Kroening, M. Lewis, G. Weissenbacher:
"Under-Approximating Loops in C Programs for Fast Counterexample Detection";
Talk: International Conference on Computer Aided Verification (CAV), Sankt Petersburg, Russland; 2013-07-13 - 2013-07-19; in: "CAV", Springer / LNCS, 8044 (2013), ISBN: 978-3-642-39798-1; 381 - 396.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung

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