CHOCKLER, Hana und HU, Alan J (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642017025.
Elsevier - Harvard (with titles)Chockler, H., Hu, A.J. (Hrsg.), 2009. Hardware and Software: Verification and Testing : 4 th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-01702-5
American Psychological Association 7th editionChockler, H., … Hu, A. J. (Hrsg.). (ca. 2009). Hardware and Software: Verification and Testing : 4 th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-01702-5
Springer - Basic (author-date)Chockler H, Hu AJ (Hrsg.) (2009) Hardware and Software: Verification and Testing : 4 th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Chockler, Hana/ Hu, Alan J (Hrsg.), Hardware and Software: Verification and Testing : 4 th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers, Programming and Software Engineering 2009, .