Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Edición de la obra Guide to Software Verification with Frama-C
| Autor | Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2025 |
| Idioma | inglés |
| Páginas | 697 |
| ISBN-13 | 9783031556104 |
| Número de Cutter | K86g |