Automated Technology for Verification and Analysis
de Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Ediciones (1)
- Automated Technology for Verification and Analysis (2007)
Springer London, Limited · inglés · ISBN 9783540755968
de Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Springer London, Limited · inglés · ISBN 9783540755968
