- Jean Contensou, National Institute of Statistics, Paris, France
- Shin Nakajima, National Institute of Informatics, Tokyo, Japan
- Jean-Yves Lafaye, Université de La Rochelle, La Rochelle, France
Subscribe to:
Post Comments (Atom)
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
No comments:
Post a Comment