01719oam 2200469zu 450 99621137540331620210807003604.0(CKB)111026746748748(SSID)ssj0000394761(PQKBManifestationID)12155820(PQKBTitleCode)TC0000394761(PQKBWorkID)10388363(PQKB)11608714(EXLCZ)9911102674674874820160829d1998 uy engtxtccrSecond International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia[Place of publication not identified]IEEE Computer Society Press1998Bibliographic Level Mode of Issuance: Monograph0-8186-9198-0 EngineeringCongressesMethodologyComputer softwareCongressesDevelopmentEngineering & Applied SciencesHILCCEngineering - GeneralHILCCEngineeringCongressesMethodologyComputer softwareCongressesDevelopmentEngineering & Applied SciencesEngineering - General620/.0028Liu ShaoyingHinchey Michael G(Michael Gerard),1969-Staples JohnIEEE Computer SocietyIEEE International Conference on Formal Engineering MethodsPQKBPROCEEDING996211375403316Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia2377282UNISA