AFADL – GDR GPL : Clearsy fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
10 juin 2019
ClearSy participe au Forum Méthodes Formelles “Le model-checking en action”
9 octobre 2014
Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B
9 octobre 2009