BERTACCO, Valeria und LEGAY, Axel (Hrsg.). 1 st ed. 2013. Cham: Springer International Publishing. ISBN 9783319030777.
Elsevier - Harvard (with titles)Bertacco, V., Legay, A. (Hrsg.), 2013. Hardware and Software: Verification and Testing : 9 th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 1 st ed. 2013. ed, Programming and Software Engineering. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-03077-7
American Psychological Association 7th editionHardware and Software: Verification and Testing : 9 th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. (ca. 2013). [Cd]. In V. Bertacco & A. Legay (Hrsg.), Programming and Software Engineering (1 st ed. 2013). Springer International Publishing. https://doi.org/10.1007/978-3-319-03077-7
Springer - Basic (author-date)Bertacco V, Legay A (Hrsg.) (2013) Hardware and Software: Verification and Testing : 9 th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 1 st ed. 2013. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Bertacco, Valeria/ Legay, Axel (Hrsg.), Hardware and Software: Verification and Testing : 9 th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 1 st ed. 2013 , Cham 2013.