APA (7th ed.) Citation

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 Style (17th ed.) Citation

Cavalcanti, Ana, and 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 (9th ed.) Citation

Cavalcanti, Ana, and 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.