http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/program.html
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