Formal methods : proceedings - Wing, Jeannette M. (Herausgeber); FM (1 : 1999 : Toulouse) (Lecture notes in computer science)