01780oam 2200481zu 450 99620737210331620210806235858.01-5090-9239-0(CKB)1000000000278170(SSID)ssj0000396124(PQKBManifestationID)12091445(PQKBTitleCode)TC0000396124(PQKBWorkID)10463995(PQKB)10807698(EXLCZ)99100000000027817020160829d2006 uy engtxtccrFourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India[Place of publication not identified]IEEE Computer Society2006Bibliographic Level Mode of Issuance: Monograph0-7695-2678-0 Software engineeringCongressesFormal methods (Computer science)CongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCSoftware engineeringFormal methods (Computer science)Engineering & Applied SciencesComputer Science005.3Dang Hung Van1950-Pandya Paritosh KInternational Institute for Software TechnologyComputer Society of IndiaInternational Conference on Software Engineering and Formal MethodsPQKBPROCEEDING996207372103316Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India2419155UNISA