Thierry Lecomte

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

Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cette version corrige une anomalie sur l'appel...

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 de l’Atelier B

Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cette version corrige, de manière...