APA ציטוט

SpringerLink (Online service), C. Nogueira, S., & Teodorov, C. (2025). Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-78116-2

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Sidney C. Nogueira, and Ciprian Teodorov. Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings. 1st ed. 2025. Cham: Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-78116-2.

ציטוט MLA

SpringerLink (Online service), et al. Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-78116-2.