×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [c mcompute]
20100522 software verification_sharygina_lecture02
199 views
Verifying Component Substitutability
37 views
Dynamic Component Substitutability Analysis Edmund Clarke Natasha Sharygina* Nishant Sinha Carnegie Mellon University The University of Lugano
227 views
Dynamic Component Substitutability Analysis
35 views