Verification, Model Checking, and Abstract Interpretation. - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
- Författare
- Rayna. Dimitrova
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing AG | 2024 | Utgivningsland okänt / Ej specificerat, Cham | 1 online resource (361 pages) | |