Verification, Model Checking, and Abstract Interpretation
de Ahmed Bouajjani, David Monniaux
Materias
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2017)
Springer · ISBN 9783319522333
de Ahmed Bouajjani, David Monniaux
Springer · ISBN 9783319522333
