Havelund, K., Núnez, M., Rosu, G. und Wolff, B. (Hrsg.) (2006) „Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers“, Programming and Software Engineering. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11940197.
Chicago Manual of Style 17th edition (full note)Havelund, Klaus, Manuel Núnez, Grigore Rosu, und Burkhart Wolff, Hrsg. „Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11940197.
American Psychological Association 7th editionHavelund, K., Núnez, M., Rosu, G., … Wolff, B. (Hrsg.). (ca. 2006). Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11940197
Modern Language Association 9th editionHavelund, K., M. Núnez, G. Rosu, und B. Wolff, Herausgeber. „Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers“. Programming and Software Engineering, 1 st ed. 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11940197.
ISO-690 (author-date, Deutsch)HAVELUND, Klaus, Manuel NÚNEZ, Grigore ROSU und Burkhart WOLFF (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540497035