BIERE, Armin, NAHIR, Amir und VOS, Tanja (Hrsg.). [cd]. 2013. 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642396113.
Elsevier - Harvard (with titles)Biere, A., Nahir, A., Vos, T. (Hrsg.), 2013. Hardware and Software: Verification and Testing : 8 th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-39611-3
American Psychological Association 7th editionBiere, A., Nahir, A., … Vos, T. (Hrsg.). (ca. 2013). Hardware and Software: Verification and Testing : 8 th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2013). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39611-3
Springer - Basic (author-date)Biere A, Nahir A, Vos T (Hrsg.) (2013) Hardware and Software: Verification and Testing : 8 th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Biere, Armin/ Nahir, Amir/ Vos, Tanja (Hrsg.), Hardware and Software: Verification and Testing : 8 th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, Programming and Software Engineering 2013, .