Login / Signup
Compositional Verification of Evolving Software Product Lines
Jean-Vivien Millo
S. Ramesh
Shankara Narayanan Krishna
Ganesh Khandu Narwane
Published in:
CoRR (2012)
Keyphrases
</>
software product line
product line
software engineering
goal driven
future directions
life cycle
adult literacy
software development
learning methodologies
model checking
product lines