Garth R. Mackenzie

• Verification and Validation of Modern Software-Intensive Systems