Talks and Poster Presentations (with Proceedings-Entry):
C. Artho, M. Seidl, A. Biere:
"Model-Based Testing for Verification Back-Ends";
Talk: 7th International Conference on Tests & Proofs,
Budapest;
2013-06-18
- 2013-06-19; in: "Proceedings of the 7th International Conference on Tests and Proofs (TAP)",
(2013),
ISBN: 978-3-642-38915-3;
39
- 55.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-38916-0
Electronic version of the publication:
http://dx.doi.org/10.1007/978-3-642-38916-0_3
Related Projects:
Project Head Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Created from the Publication Database of the Vienna University of Technology.