Product lines of theorems.

Benjamin Delaware William R. Cook Don S. Batory

Published in: OOPSLA (2011)

Keyphrases

future directions
product lines
software product line
product line
software systems
software development
management practices
digital topology
sequent calculus
database
web services
multi agent systems
information technology
software engineering