APA-Zitierstil (7. Ausg.)

Cavalcanti, A., & Baxter, J. (2024). The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I (1st ed. 2024.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-66676-6

Chicago-Zitierstil (17. Ausg.)

Cavalcanti, Ana, und James Baxter. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. 1st ed. 2024. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-66676-6.

MLA-Zitierstil (9. Ausg.)

Cavalcanti, Ana, und James Baxter. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. 1st ed. 2024. Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-66676-6.