Automated technology for verification and analysis
Materias
Ediciones (2)
- Automated Technology for Verification and Analysis (2006)
Springer · inglés · ISBN 9783540472377
- Automated Technology for Verification and Analysis (2006)
Springer London, Limited · inglés · ISBN 9783540472384
