Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) Victoria, British Columbia, October 8-10, 1991 by Acm Sigsoft | Menrva Books | MenrvaBooks
Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) Victoria, British Columbia, October 8-10, 1991