Corina S. Pasareanu profile picture

Corina S. Pasareanu

Is this your author profile? Create an account to customize it!

Stand Alone

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
Formal Aspects of Component Software
Computer Aided Verification
Computer Aided Verification
Model Checking Software