3rd International Conference From Research to Teaching Formal Methods: The B Method (TFM-B'10) June 7, 2010, Nantes, France
Pierre Castéran
http://www.labri.u-bordeaux.fr/perso/casteran/
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
3rd International Conference From Research to Teaching Formal Methods: The B Method (TFM-B'10) June 7, 2010, Nantes, France
Pierre Castéran
http://www.labri.u-bordeaux.fr/perso/casteran/
No comments:
Post a Comment