Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Binding : paperback, Label : Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic), medium : paperback, numberOfPages : 721, publicationDate : 2025-07-11, releaseDate : 2025-07-11, languages : english, ISBN : 3031556100 ...