20100522 software verification_sharygina_lecture02
Verifying Component Substitutability
Dynamic Component Substitutability Analysis Edmund Clarke Natasha Sharygina* Nishant Sinha Carnegie Mellon University The University of Lugano.
Dynamic Component Substitutability Analysis