Contact

Conference on Formal Engineering Methods

On the occasion of its 9th conference, the ICFEM (International Conference on Formal Engineering Methods), which will take place from November 14 to 15, 2007 in Florida, will discuss the B and the Rodin Platform issue.

You will also like:

Copy link
Powered by Social Snap