MPRI - Techniques avancées de vérification -- M2 (2023--2024)

Equipe enseignante 2023-2024

Benedikt Bollig, Patricia Bouyer et François Laroussinie.

Plan de la première partie:

Actualités




Documents


Email: francoisl[at]irif.fr