C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compositional Algorithmic Verification of Software Product Lines.
Ina Schaefer
Dilian Gurov
Siavash Soleimanifard
Published in:
FMCO (2010)
Keyphrases
</>
software product line
product line
software engineering
goal driven
future directions
life cycle
learning methodologies
adult literacy
software development
model checking
product lines
teaching learning
database
artificial intelligence
computational methods
signature verification