FOSTER, Simon und SAMPAIO, Augusto (Hrsg.). 1 st ed. 2024. Cham: Springer Nature Switzerland. ISBN 9783031671142.
Elsevier - Harvard (with titles)Foster, S., Sampaio, A. (Hrsg.), 2024. The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement, 1 st ed. 2024. ed, Lecture Notes in Computer Science. Springer Nature Switzerland, Cham. 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
Springer - Basic (author-date)Foster S, Sampaio A (Hrsg.) (2024) The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement, 1 st ed. 2024. Springer Nature Switzerland, Cham
Juristische Zitierweise (Stüber) (Deutsch)Foster, Simon/ Sampaio, Augusto (Hrsg.), The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement, 1 st ed. 2024 , Cham 2024.