Independent Verification and Validation (IV&V) Techniques for Object Oriented Software Systems SAS meeting July 2003.
Independent Verification and Validation (IV&V) Techniques for Object Oriented Software Systems