Saturday, March 20, 2010

Invited Speaker 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: