Talks and Poster Presentations (with Proceedings-Entry):
H. Günther, G. Weissenbacher:
"Incremental bounded software model checking";
Talk: International SPIN Symposium on Model Checking of Software (SPIN),
San Jose, CA, USA;
2014-07-21
- 2014-07-23; in: "SPIN",
ACM New York, NY, USA,
(2014),
ISBN: 978-1-4503-2452-6;
40
- 47.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2632362.2632374
Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Created from the Publication Database of the Vienna University of Technology.