01727oam 2200481zu 450 991087284210332120241212215025.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: Monograph9780818691980 0818691980 EngineeringCongressesMethodologyComputer softwareDevelopmentCongressesEngineering & Applied SciencesHILCCEngineering - GeneralHILCCEngineeringCongressesMethodology.Computer softwareDevelopmentEngineering & Applied SciencesEngineering - General620/.0028Liu ShaoyingHinchey Michael G(Michael Gerard),1969-Staples JohnIEEE Computer Society,IEEE International Conference on Formal Engineering Methods.PQKBPROCEEDING9910872842103321Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia2377282UNINA