Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
![Guide to Software Verification with Frama-C : Core Components, Usages, and Applications](http://hive.dmmserver.com/media/356/97830315/9783031556074.jpg)
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
Barcode: 09783031556074
Brand: Springer International Publishing AG
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.