Conférence sur les Méthodes Formelles d’Ingénierie

A l’occasion de sa 9eme édition, l’ICFEM (International Conference on Formal Engineering Methods) qui se tiendra du 14 au 15 novembre 2007 en Floride, abordera la question de B et de la plateforme Rodin. (obtenir le programme)