01800oam 2200469zu 450 99620436930331620210807003337.0(CKB)111026746745314(SSID)ssj0000451076(PQKBManifestationID)12167904(PQKBTitleCode)TC0000451076(PQKBWorkID)10445166(PQKB)10709093(EXLCZ)9911102674674531420160829d1997 uy engtxtccrFirst IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997[Place of publication not identified]IEEE Computer Society Press1997Bibliographic Level Mode of Issuance: Monograph0-8186-8002-4 EngineeringCongressesMethodologyComputer softwareCongressesDevelopmentEngineering & Applied SciencesHILCCEngineering - GeneralHILCCEngineeringCongressesMethodologyComputer softwareCongressesDevelopmentEngineering & Applied SciencesEngineering - General620/.0028Hinchey Michael G(Michael Gerard),1969-Liu ShaoyingIEEE Computer Society Technical Committee on Complexity in Computing.IEEE Computer SocietyIEEE International Conference on Formal Engineering MethodsPQKBBOOK996204369303316First IEEE International Conference Conference on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 19972369730UNISA