EDER, Kerstin, Lourenҫo João und SHEHORY, Onn (Hrsg.). [cd]. 2012. 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642341885.
Elsevier - Harvard (with titles)Eder, K., Lourenҫo J., Shehory, O. (Hrsg.), 2012. Hardware and Software: Verification and Testing : 7 th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-34188-5
American Psychological Association 7th editionEder, K., Lourenҫo J., … Shehory, O. (Hrsg.). (ca. 2012). Hardware and Software: Verification and Testing : 7 th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2012). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-34188-5
Springer - Basic (author-date)Eder K, Lourenҫo J, Shehory O (Hrsg.) (2012) Hardware and Software: Verification and Testing : 7 th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Eder, Kerstin/ Lourenҫo João/ Shehory, Onn (Hrsg.), Hardware and Software: Verification and Testing : 7 th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, Programming and Software Engineering 2012, .