Skip to main navigation Skip to search Skip to main content

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Research output: Book/Report › Book › peer-review

Fingerprint

Dive into the research topics of 'Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings'. Together they form a unique fingerprint.
Sort by

Keyphrases

Social Sciences

Economics, Econometrics and Finance