Pierre Wolper

• Computer Aided Verification
• Introduction à la calculabilité
• Introduction à la calculabilité : Cours et exercices corrigés