Verification, Model Checking, and Abstract Interpretation
de Fritz Henglein, Sharon Shoham, Yakir Vizel
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2021)
Springer International Publishing AG · inglés · ISBN 9783030670665
de Fritz Henglein, Sharon Shoham, Yakir Vizel
Springer International Publishing AG · inglés · ISBN 9783030670665
1991
