SEFM 2006
4th IEEE International Conference on
Software Engineering and Formal Methods
Pune, India
September 11-15, 2006
 
INVITED SPEAKERS