Next: 7 Biography
Up: Testing Formal Methods
Previous: Acknowledgements
- 1
-
B. BEIZER.
Cleanroom process model: A critical examination.
IEEE Software, 14(2):14-16, March 1997.
- 2
-
J. VOAS, F. CHARRON, G. MCGRAW, K. MILLER, AND M.
FRIEDMAN.
Predicting How Badly `Good' Software can Behave.
IEEE Software, 14(4):73-83, July 1997.
- 3
-
J. VOAS, G. MCGRAW, L. KASSAB AND L. VOAS.
A Crystal Ball for Software Liability.
IEEE Computer, 30(6):29-36, June 1997.
Jeffrey M. Voas
Sep. 12 1997