STL: M2 STL - Conférence du 09/10

Posté le mardi 6 octobre 2015


Informations concernant la conférence du vendredi 9 octobre, à 14h, amphi 56A :

- Titre : Abstract Interpretation - Develop High Quality Software With Polyspace Products (abstract)

- Orateur : Olivier Bouissou (Mathworks)

- Toutes les informations sur les conférences M2 STL sont sur : https://www-apr.lip6.fr/ chaillou/P...