Verification, Model Checking, and Abstract Interpretation
de Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2008)
Springer London, Limited · inglés · ISBN 9783540781639
de Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Springer London, Limited · inglés · ISBN 9783540781639
