Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ...
Edición de la obra Tests and Proofs
| Autor | Dirk Beyer, Chantal Keller |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 11, 2019 |
| Páginas | 217 |
| Formato | paperback |
| ISBN-13 | 9783030311568 |
| ISBN-10 | 3030311562 |
| Número de Cutter | B573t |