01847oam 2200493zu 450 99621239900331620210807003655.01-5090-6875-9(CKB)2400000000003036(SSID)ssj0000566378(PQKBManifestationID)12228219(PQKBTitleCode)TC0000566378(PQKBWorkID)10533978(PQKB)11557051(EXLCZ)99240000000000303620160829d2009 uy engtxtccrSEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam[Place of publication not identified]IEEE Computer Society2009Bibliographic Level Mode of Issuance: Monograph0-7695-3870-3 Software engineeringCongressesFormal methods (Computer science)CongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCSoftware engineeringFormal methods (Computer science)Engineering & Applied SciencesComputer Science005.1Dang Hung Van1950-Krishnan PadmanabhanHokuriku Sentan Kagaku Gijutsu Daigakuin DaigakuIEEE Computer SocietyInternational Institute for Software TechnologyIEEE International Conference on Software Engineering and Formal MethodsPQKBPROCEEDING996212399003316SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam2419790UNISA