Voilà quelques supports de cours dont je suis auteur ou co-auteur :

• Licence : Logique CUPGE
• Licence : Structures discètes 2 (Logique)
• Licence : Programmation logique et par contraintes
• Licence : Structures discrètes 4 (λ-calcul)
• Master 1 : Introduction to embedded systems
• Master 2 : Vérification et validation, analyse formelle
• Master 2 : Validation and Certification
• Uppaal zip