Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha. Verification of evolving software via component substitutability analysis. Formal Methods in System Design, 32(3):235-266, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.