Verification of evolving software via component substitutability analysis

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.