01627oam 2200469zu 450 991087241230332120241212214755.0(CKB)111026746702518(SSID)ssj0000394762(PQKBManifestationID)12144085(PQKBTitleCode)TC0000394762(PQKBWorkID)10424738(PQKB)10923721(EXLCZ)9911102674670251820160829d2000 uy engtxtccrICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000[Place of publication not identified]IEEE Computer Society2000Bibliographic Level Mode of Issuance: Monograph9780769508221 0769508227 EngineeringMethodologyCongressesComputer softwareDevelopmentCongressesEngineering & Applied SciencesHILCCEngineering - GeneralHILCCEngineeringMethodologyComputer softwareDevelopmentEngineering & Applied SciencesEngineering - General620/.0028Liu ShaoyingHinchey Michael G(Michael Gerard),1969-McDermid JohnIEEE Computer SocietyPQKBPROCEEDING9910872412303321ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 20002423388UNINA