Verification, Model Checking, and Abstract Interpretation
de Constantin Enea, Ruzica Piskac
pages cm
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2019)
Springer · ISBN 9783030112448
de Constantin Enea, Ruzica Piskac
pages cm
Springer · ISBN 9783030112448