Foster, S. und Sampaio, A. (Hrsg.) (2024) The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement [cd]. 1 st ed. 2024, Lecture Notes in Computer Science. 1 st ed. 2024. Cham: Springer Nature Switzerland. doi:10.1007/978-3-031-67114-2.
Chicago Manual of Style 17th edition (full note)Foster, Simon, und Augusto Sampaio, Hrsg. The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cd. Lecture Notes in Computer Science. 1 st ed. 2024. Cham: Springer Nature Switzerland, [2024?], Cham: Springer Nature Switzerland, [2024?]. https://doi.org/10.1007/978-3-031-67114-2.
American Psychological Association 7th editionThe Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. (ca. 2024). [Cd]. In S. Foster & A. Sampaio (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2024). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-67114-2
Modern Language Association 9th editionFoster, S., und A. Sampaio, Herausgeber. „The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement“. Lecture Notes in Computer Science, 1 st ed. 2024, cd, Springer Nature Switzerland, 2024, https://doi.org/10.1007/978-3-031-67114-2.
ISO-690 (author-date, Deutsch)FOSTER, Simon und Augusto SAMPAIO (Hrsg.). 1 st ed. 2024. Cham: Springer Nature Switzerland. ISBN 9783031671142