Cet enseignement est organisé en cours magistraux et séances de TD et TP. ....
Calcul certifié d'intégrales définies avec de l'analyse par intervalles ...... Alejandro
Russo, Andrei Sabelfeld: Security of Multithreaded Programs by Compilation. .....
par le groupe d'étudiants ayant choisi le sujet (deux à six étudiants maximum). 
