Verification, Model Checking, and Abstract Interpretation
de Hutchison, David - undifferentiated
Materias
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2009)
Springer Berlin Heidelberg · inglés · ISBN 9783540938996
de Hutchison, David - undifferentiated
Springer Berlin Heidelberg · inglés · ISBN 9783540938996
