BERTACCO, Valeria und LEGAY, Axel (Hrsg.). [cd]. 2013. 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. Programming and Software Engineering. https://doi.org/10.1007/978-3-319-03077-7
American Psychological Association 7th editionBertacco, V., … Legay, A. (Hrsg.). (ca. 2013). Hardware and Software: Verification and Testing : 9 th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings [Cd]. In 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. Programming and Software Engineering
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, Programming and Software Engineering 2013, .