L'Atelier B est maintenant traduit en japonais
http://www.atelierb.eu/ja/
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