Catalog

Record Details

Catalog Search


Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Cover Image E-book E-book

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo.

Barthe, Gilles. (editor.). Hermenegildo, Manuel. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources