Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India SEFM IEEE Computer Society 2006 0-7695-2678-0 db/conf/sefm/sefm2006.html