Fourth IEEE International Conference on Software Engineering and Formal Methods SEFM 2006 : proceedings : 11-15 September 2006, Pune, India / - Dang, Hung Van,; Pandya, Paritosh K. (IEEE Computer Society,)