- Symposium on Testing, Analysis, and Verification. 1989.
- Symposium on Testing, Analysis, and Verification. 1989.
- Richard A. Kemmerer, editor, Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989. ACM, 1989.