"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-55608-1","Guide to Software Verification with Frama-C","Core Components, Usages, and Applications","Nikolai Kosmatov; Virgile Prevosto; Julien Signoles",2024,"1","https://doi.org/10.1007/978-3-031-55608-1",100,""