Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Edición de la obra Tests and Proofs
| Autor | Virgile Prevosto, Cristina Seceleanu |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031388279 |
| Número de Cutter | P944t |