Enseignement

(2014-15)

• M2 - STL: spécification des feux
• L2 - 2I013: projet FlowDoid
• M1/STL - 4I503 - APS: Analyse des programmes et sémantiques