Verification, Model Checking, and Abstract Interpretation
de Cezara Dragoi, Michael Emmi, Jingbo Wang
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2023)
Springer · inglés · ISBN 9783031249495
de Cezara Dragoi, Michael Emmi, Jingbo Wang
Springer · inglés · ISBN 9783031249495
