Deductive Software Verification - the KeY Book
From Theory to Practice
Edición de la obra Deductive Software Verification - the KeY Book
From Theory to Practice
Edición de la obra Deductive Software Verification - the KeY Book
| Editorial | Springer |
|---|
| Fecha de publicación | 2017 |
|---|
| Idioma | inglés |
|---|
| ISBN-13 | 9783319498126 |
|---|
| Número de Cutter | A287d |
|---|