LEADER 01437oam 2200397zu 450 001 996198216503316 005 20210807003600.0 035 $a(CKB)111026746739766 035 $a(SSID)ssj0000436141 035 $a(PQKBManifestationID)12174714 035 $a(PQKBTitleCode)TC0000436141 035 $a(PQKBWorkID)10426597 035 $a(PQKB)10666643 035 $a(EXLCZ)99111026746739766 100 $a20160829d1995 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 10$aWorkshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1995 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8186-7005-3 606 $aComputer software$xDevelopment$xCongresses 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 0$aComputer software$xDevelopment$xCongresses 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 676 $a005.1/2/028 712 02$aIEEE Computer Society Technical Council on Software Engineering 801 0$bPQKB 906 $aBOOK 912 $a996198216503316 996 $aWorkshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida$92384754 997 $aUNISA