Verification, Model Checking, and Abstract Interpretation
de Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Ediciones (2)
- Verification, Model Checking, and Abstract Interpretation (2024)
Springer · inglés · ISBN 9783031505232
- Verification, Model Checking, and Abstract Interpretation (2024)
Springer · inglés · ISBN 9783031505201
