Présentation aux étudiants en M2 Science et Technologie du Logiciel

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.

Université - Jussieu