AFADL – GDR GPL : Clearsy fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B

Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à l’ENSEEIHT, en même temps que le rassemblement annuel du GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel).

Clearsy vous accueillera sur notre stand lors de ces Journées Nationales 2019 qui  auront lieu à Toulouse du 11 au 14 juin 2019.

GDR GPL  est une unité de l’INS2I du CNRS qui regroupe la communauté scientifique française intéressée par le Génie Logiciel et la Programmation.

Clearsy fera une présentation vendredi 14 juin à 12 heures sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B

Venez nous rencontrer !

Laisser un commentaire