Version 4.5.5 of Atelier B
AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B
Version 4.5.1 of Atelier B
Version 4.5 of Atelier B
The international conference on formal methods (FM 2018)
Conference on formal methods (FM 2018) – Oxford