Verification, Model Checking, and Abstract Interpretation
de Bernhard Steffen, Giorgio Levi
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2003)
Springer London, Limited · inglés · ISBN 9783540246220
de Bernhard Steffen, Giorgio Levi
Springer London, Limited · inglés · ISBN 9783540246220
