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 | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031556074 |
| Número de Cutter | K86g |