Zeitschriftenartikel:
M. Lewis, D. Kroening, G. Weissenbacher:
"Under-approximating loops in C programs for fast counterexample detection";
Formal Methods in System Design,
47
(2015),
1;
S. 75
- 92.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10703-015-0228-1
Zugeordnete Projekte:
Projektleitung Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.