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 Read more