LEADER 01815oam  2200517zu 450 
001 9910376203603321
005 20210807001926.0
035   $a(CKB)3170000000001415
035   $a(SSID)ssj0000722358
035   $a(PQKBManifestationID)12288883
035   $a(PQKBTitleCode)TC0000722358
035   $a(PQKBWorkID)10695560
035   $a(PQKB)11420268
035   $a(Association for Computing Machinery)10.1145/120807
035   $a(EXLCZ)993170000000001415
100   $a20160829d1991      uy 
101 0 $aeng
135   $aurnn|008mam|a
181   $ctxt
182   $cc
183   $acr
200 10$aProceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 1991
210 31$a[Place of publication not identified]$cACM Press$d1991
215   $a1 online resource (213 p.;) 
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-89791-449-X 
410  0$aACM Conferences
517 3 $aTAV4
606   $aComputer software$xCongresses$xTesting
606   $aComputer software$xCongresses$xVerification
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  0$aComputer software$xCongresses$xTesting
615  0$aComputer software$xCongresses$xVerification
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a005.1/4
700   $aHowden$b William$025817
712 02$aACM Sigsoft
712 12$aSymposium on Testing, Analysis, and Verification
801  0$bPQKB
906   $aBOOK
912   $a9910376203603321
996   $aProceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 1991$91970620
997   $aUNINA