Verification, Model Checking, and Abstract Interpretation
de Dirk Beyer, Damien Zufferey
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2020)
Springer · ISBN 9783030393212
de Dirk Beyer, Damien Zufferey
Springer · ISBN 9783030393212
