SpringerLink (Online service), Cavalcanti, A., & Baxter, J. (2024). The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I (1st ed. 2024.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-66676-6
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)SpringerLink (Online service), Ana Cavalcanti, và James Baxter. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. 1st ed. 2024. Cham: Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-66676-6.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)SpringerLink (Online service), et al. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. 1st ed. 2024. Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-66676-6.