Martin R. Woodward Editorial: V is for Verification. 83-84 1999 9 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr9.html#Woodward99