Automated Technology for Verification and Analysis
de Cyrille Artho, Axel Legay, Doron Peled
Materias
Ediciones (2)
- Automated Technology for Verification and Analysis (2016)
Springer · inglés · ISBN 9783319465203
- Automated Technology for Verification and Analysis (2016)
Springer · ISBN 9783319465197
Más obras de Cyrille Artho
