Hierons, R.M., Bowen, J.P. und Harman, M. (Hrsg.) (2008) Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers [cd]. 1 st ed. 2008, Programming and Software Engineering. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-78917-8.
Chicago Manual of Style 17th edition (full note)Hierons, Robert M., Jonathan P. Bowen, und Mark Harman, Hrsg. Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers. Cd. Programming and Software Engineering. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-78917-8.
American Psychological Association 7th editionFormal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers. (ca. 2008). [Cd]. In R. M. Hierons, J. P. Bowen, & M. Harman (Hrsg.), Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-78917-8
Modern Language Association 9th editionHierons, R. M., J. P. Bowen, und M. Harman, Herausgeber. „Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers“. Programming and Software Engineering, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-78917-8.
ISO-690 (author-date, Deutsch)HIERONS, Robert M., Jonathan P. BOWEN und Mark HARMAN (Hrsg.). 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540789178