Automated Technology for Verification and Analysis
de Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Ediciones (1)
- Automated Technology for Verification and Analysis (2008)
Springer London, Limited · inglés · ISBN 9783540883876
de Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Springer London, Limited · inglés · ISBN 9783540883876
