Verification, Model Checking, and Abstract Interpretation
de Bernd Finkbeiner, Thomas Wies
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2022)
Springer International Publishing AG · inglés · ISBN 9783030945824
de Bernd Finkbeiner, Thomas Wies
Springer International Publishing AG · inglés · ISBN 9783030945824
