Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
D. Kroening, M. Lewis, G. Weissenbacher:
"Under-Approximating Loops in C Programs for Fast Counterexample Detection";
Vortrag: International Conference on Computer Aided Verification (CAV),
Sankt Petersburg, Russland;
13.07.2013
- 19.07.2013; in: "CAV",
Springer / LNCS,
8044
(2013),
ISBN: 978-3-642-39798-1;
S. 381
- 396.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-39799-8_26
Zugeordnete Projekte:
Projektleitung Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.