Deductive Software Verification : Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Edición de la obra Deductive Software Verification : Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Edición de la obra Deductive Software Verification : Future Perspectives
| Editorial | Springer International Publishing AG |
|---|
| Fecha de publicación | 2020 |
|---|
| Idioma | inglés |
|---|
| ISBN-13 | 9783030643539 |
|---|
| Número de Cutter | A287d |
|---|