Prouveur interactif de l'Atelier B 4.0.2
Publié le 11/06/2008 |

CLEARSY vous informe de sa participation au colloque IFM 2009 (Integrated Formal Methods) qui se tiendra du 16 au 19 février 2009 à Düsseldorf. Cette 7eme édition portera sur l’intégration des méthodes formelles.

Site de IFM 2009