APA (7th ed.) Citation

SpringerLink (Online service), Kosmatov, N., Prevosto, V., & Signoles, J. (2024). Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (1st ed. 2024.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-031-55608-1

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles. Guide to Software Verification with Frama-C: Core Components, Usages, and Applications. 1st ed. 2024. Cham: Springer International Publishing : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-55608-1.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Guide to Software Verification with Frama-C: Core Components, Usages, and Applications. 1st ed. 2024. Springer International Publishing : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-55608-1.