01426oam 2200397zu 450 991087300100332120210807003600.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 EngineeringPQKBBOOK9910873001003321Workshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida2384754UNINA