TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competition
Edición de la obra TOOLympics Challenge 2023
| Autor | Dirk Beyer, Arnd Hartmanns, Fabrice Kordon |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| Páginas | 250 |
| ISBN-13 | 9783031676949 |
| Número de Cutter | B573t |