01610oam 2200457zu 450 99621893200331620210807003238.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: Monograph0-7695-0822-7 EngineeringMethodologyCongressesComputer softwareDevelopmentCongressesEngineering & Applied SciencesHILCCEngineering - GeneralHILCCEngineeringMethodologyComputer softwareDevelopmentEngineering & Applied SciencesEngineering - General620/.0028Liu ShaoyingHinchey Michael G(Michael Gerard),1969-McDermid JohnIEEE Computer SocietyPQKBPROCEEDING996218932003316ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 20002423388UNISA