Publié le 11/06/2008 |
CLEARSY will be participating to the IFM 2009 (Integrated Formal Methods) that will take place in Duesseldorf from the February 16th to the 19th 2009. This 7th edition will focus on the integration of formal methods.
CLEARSY will be participating to the IFM 2009 (Integrated Formal Methods) that will take place in Duesseldorf from the February 16th to the 19th 2009. This 7th edition will focus on the integration of formal methods.