ÁBRAHÁM, Erika, BONSANGUE, Marcello und JOHNSEN, Einar Broch (Hrsg.). 1 st ed. 2016. Cham: Springer International Publishing. ISBN 9783319307343.
Elsevier - Harvard (with titles)Ábrahám, E., Bonsangue, M., Johnsen, E.B. (Hrsg.), 2016. Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60 th Birthday, 1 st ed. 2016. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-30734-3
American Psychological Association 7th editionTheory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60 th Birthday. (ca. 2016). [Cd]. In E. Ábrahám, M. Bonsangue, & E. B. Johnsen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2016). Springer International Publishing. https://doi.org/10.1007/978-3-319-30734-3
Springer - Basic (author-date)Ábrahám E, Bonsangue M, Johnsen EB (Hrsg.) (2016) Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60 th Birthday, 1 st ed. 2016. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Ábrahám, Erika/ Bonsangue, Marcello/ Johnsen, Einar Broch (Hrsg.), Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60 th Birthday, 1 st ed. 2016 , Cham 2016.