Title: A framework for performing verification and validation in reuse based software engineering
Subjects: Computer programming, Architecture (Computers), Programming environments, Proving, Software engineering