Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
- Författare
- Nikolai Kosmatov
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Nature | 2024 | Utgivningsland okänt / Ej specificerat |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Nature | 2024 | Utgivningsland okänt / Ej specificerat |