01815oam 2200517zu 450 991037620360332120210807001926.0(CKB)3170000000001415(SSID)ssj0000722358(PQKBManifestationID)12288883(PQKBTitleCode)TC0000722358(PQKBWorkID)10695560(PQKB)11420268(Association for Computing Machinery)10.1145/120807(EXLCZ)99317000000000141520160829d1991 uy engurnn|008mam|atxtccrProceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 1991[Place of publication not identified]ACM Press19911 online resource (213 p.;) ACM ConferencesBibliographic Level Mode of Issuance: Monograph0-89791-449-X ACM ConferencesTAV4Computer softwareCongressesTestingComputer softwareCongressesVerificationEngineering & Applied SciencesHILCCComputer ScienceHILCCComputer softwareCongressesTestingComputer softwareCongressesVerificationEngineering & Applied SciencesComputer Science005.1/4Howden William25817ACM SigsoftSymposium on Testing, Analysis, and VerificationPQKBBOOK9910376203603321Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 19911970620UNINA