Publié le 20/09/2007 |

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.