TOOLympics Challenge 2023. - Updates, Results, Successes of the Formal-Methods Competitions
- Författare
- Dirk. Beyer
- (Edited by Dirk Beyer, Arnd Hartmanns, Fabrice Kordon.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Nature Switzerland, Imprint: Springer | 2025 | Schweiz, Cham | 1 online resource (180 pages) | |
| Springer | 2024 | Utgivningsland okänt / Ej specificerat, Cham |