TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions / edited by Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
- Författare
- Dirk. Beyer
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |