Automated Technology for Verification and Analysis
de Zhiming Liu, Anders P. Ravn
Ediciones (1)
- Automated Technology for Verification and Analysis (2009)
Springer London, Limited · inglés · ISBN 9783642047619
de Zhiming Liu, Anders P. Ravn
Springer London, Limited · inglés · ISBN 9783642047619
