Bertacco, V., & Legay, A. (2013). Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Cham [u.a.]: Springer.

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay . — Cham [u.a.] : Springer, 2013. — Online-Ressource (XX, 366 p. 147 illus, online resource). — (Lecture notes in computer science ; 8244). — ISBN 9783319030777