Structures de données et algorithmes pour la vérification formelle

Conclusion et réponse aux questions de l'année