IFM 2009, 7th International Conference on Integrated 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.

You will also like:

Copy link
Powered by Social Snap