![Université – Jussieu Université - Jussieu](https://www.atelierb.eu/wp-content/uploads/2014/03/Jussieu-Fac.jpg)
Publié le 06/03/2014 |
Le 14 mars 2014, CLEARSY a présenté aux étudiants en M2 Science et Technologie du Logiciel
de l’université Pierre et Marie Curie de Paris,
la méthode formelle B dans différents cas d’utilisations industrielles.
Le 14 mars 2014, CLEARSY a présenté aux étudiants en M2 Science et Technologie du Logiciel
de l’université Pierre et Marie Curie de Paris,
la méthode formelle B dans différents cas d’utilisations industrielles.