×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [c mcompute]
Home >
c mcompute
20100522 software verification_sharygina_lecture02
196 views
Verifying Component Substitutability
35 views
Dynamic Component Substitutability Analysis Edmund Clarke Natasha Sharygina* Nishant Sinha Carnegie Mellon University The University of Lugano.
226 views
Dynamic Component Substitutability Analysis
37 views