APA (7th ed.) Citation

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. https://doi.org/10.1007/978-3-031-55608-1

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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