BECKERT, Bernhard, HÄHNLE, Reiner und SCHMITT, Peter H (Hrsg.). 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540690610.
Elsevier - Harvard (with titles)Beckert, B., Hähnle, R., Schmitt, P.H. (Hrsg.), 2007. Verification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino, 1 st ed. 2007. ed, Lecture Notes in Artificial Intelligence. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69061-0
American Psychological Association 7th editionVerification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino. (ca. 2007). [Cd]. In B. Beckert, R. Hähnle, & P. H. Schmitt (Hrsg.), Lecture Notes in Artificial Intelligence (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-69061-0
Springer - Basic (author-date)Beckert B, Hähnle R, Schmitt PH (Hrsg.) (2007) Verification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino, 1 st ed. 2007. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Beckert, Bernhard/ Hähnle, Reiner/ Schmitt, Peter H (Hrsg.), Verification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino, 1 st ed. 2007 , Berlin, Heidelberg 2007.