Home › Authors › Symposium on Testing, Analysis, and Verification (1991 Victoria, B.C.) 👤 Symposium on Testing, Analysis, and Verification (1991 Victoria, B.C.) 1 book Books by Symposium on Testing, Analysis, and Verification (1991 Victoria, B.C.) Proceedings of the Symposium o Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) 1991