Automated Technology for Verification and Analysis. - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
- Författare
- S. Akshay
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2025 | Utgivningsland okänt / Ej specificerat, Cham | 1 online resource (605 pages) |