Automated Technology for Verification and Analysis
de Farn Wang
Materias
Ediciones (2)
- Automated Technology for Verification and Analysis (2004)
Springer · inglés · ISBN 9783540236108
- Automated Technology for Verification and Analysis (2004)
Springer London, Limited · inglés · ISBN 9783540304760
