The Role of Verification in Software Reusability (1988)

by J Krone