Contact

Colloque International IFM 2009

Prouveur interactif de l'Atelier B 4.0.2

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

Vous aimerez aussi :

Copy link
Powered by Social Snap