YORAV, Karen (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540779667.
Elsevier - Harvard (with titles)Yorav, K. (Hrsg.), 2008. Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-540-77966-7
American Psychological Association 7th editionYorav, K. (Hrsg.). (ca. 2008). Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-77966-7
Springer - Basic (author-date)Yorav K (Hrsg.) (2008) Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Yorav, Karen (Hrsg.), Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Programming and Software Engineering 2008, .