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.
Présentation aux étudiants en M2 Science et Technologie du Logiciel