TOCCATA - 2023 Inria teams activity reports
Concurrency and Directed Algebraic Topology - LIX
Concevoir, rédiger et corriger un sujet d'informatique
Rapport de l'épreuve orale d'informatique fondamentale - ENS
TP - Preuve de programmes avec Why3
Final Exam Compilation and Program Analysis ... - Laure Gonnord
Outils logiques et algorithmiques - CNRS
TD 2 - Spécification des opérations
complexité amortie