Verification, Model Checking, and Abstract Interpretation
de Barbara Jobstmann, K. Rustan M. Leino
Materias
Ediciones (2)
- Verification, Model Checking, and Abstract Interpretation (2015)
Springer London, Limited · inglés · ISBN 9783662491225
- Verification, Model Checking, and Abstract Interpretation (2015)
Springer Berlin / Heidelberg · inglés · ISBN 9783662491218