Verification, Model Checking, and Abstract Interpretation
de Gilles Barthe, Manuel Hermenegildo
Ediciones (1)
- Verification, Model Checking, and Abstract Interpretation (2010)
Springer London, Limited · inglés · ISBN 9783642113192
de Gilles Barthe, Manuel Hermenegildo
Springer London, Limited · inglés · ISBN 9783642113192