Title: The application of V&V within reuse-based software engineering
Subjects: Proving, Software engineering, Software reuse