@book{61440,
	author = {Kosmatov, Nikolai. and SpringerLink (Online service)},
	title = {Guide to Software Verification with Frama-C},
	publisher = {Springer International Publishing :},
	year = {2024.},
	series = {Computer Science Foundations and Applied Logic,},
	address = {Cham :},
	edition = {1st ed. 2024.},
	url = {https://doi.org/10.1007/978-3-031-55608-1}
}