Bonjour à tous,
La prochaine séance du [GdT Programmation / séminaire IRILL] est jeudi 11/04/2013
Claire Dross (Adacore) parlera de
Use formal methods to verify an Ada program with SPARK2014
à 15h45 en salle Algorithme (3ème étage) du site Italie (23 avenue d'Italie - 75013 Paris).
Toutes les informations concernant ce GdT sont sur :
http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html
à bientôt.
Emmanuel...