Verification of migrated product lines.

Mukelabai Mukelabai

Published in: SPLC (2) (2018)

Keyphrases

product lines
product line
software systems
software product line
management practices
software development
model checking
formal verification
software engineering
face verification
project management
cooperative
data warehouse
general purpose