Sortie de la version de maintenance 4.5.5 de l’Atelier B
AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
Version 4.5.1 de l’Atelier B
Version 4.5 de l’Atelier B
Conférence Formal Methods – FM 2018 – Oxford
Conférence Formal Methods à Oxford du 15 au 17 juillet 2018