SpringerLink (Online service), Cavalcanti, A., & Baxter, J. (2024). The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II (1st ed. 2024.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-66673-5
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Ana Cavalcanti, και James Baxter. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II. 1st ed. 2024. Cham: Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-66673-5.
Παραπομπή σε μορφή MLA (9th εκδ.)SpringerLink (Online service), et al. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II. 1st ed. 2024. Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-66673-5.