Login / Signup
Verification of evolving software via component substitutability analysis.
Sagar Chaki
Edmund M. Clarke
Natasha Sharygina
Nishant Sinha
Published in:
Formal Methods Syst. Des. (2008)
Keyphrases
</>
image analysis
information systems
software development
software systems
database
data analysis
control system
software engineering
source code
quantitative analysis
software tools
hardware design