- Zoltan Istenes, Budapest, Hungary
- Joanna Tomasik, Supelec, Gyf , 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