01806oam 2200481zu 450 991087264490332120241212215029.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: Monograph9780818680021 0818680024 EngineeringCongressesMethodologyComputer softwareDevelopmentCongressesEngineering & Applied SciencesHILCCEngineering - GeneralHILCCEngineeringCongressesMethodology.Computer softwareDevelopmentEngineering & 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 MethodsPQKBBOOK9910872644903321First IEEE International Conference Conference on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 19972369730UNINA