01437oam 2200397zu 450 99619821650331620210807003600.0(CKB)111026746739766(SSID)ssj0000436141(PQKBManifestationID)12174714(PQKBTitleCode)TC0000436141(PQKBWorkID)10426597(PQKB)10666643(EXLCZ)9911102674673976620160829d1995 uy engtxtccrWorkshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida[Place of publication not identified]IEEE Computer Society Press1995Bibliographic Level Mode of Issuance: Monograph0-8186-7005-3 Computer softwareDevelopmentCongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCComputer softwareDevelopmentCongressesEngineering & Applied SciencesComputer Science005.1/2/028IEEE Computer Society Technical Council on Software EngineeringPQKBBOOK996198216503316Workshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida2384754UNISA