Présentation du Laboratoire Méthodes Formelles (DER Informatique)

Date: 2 september 2026   At: Gif-sur-Yvette, France -- Rentrée des primo-entrants de l'ENS Paris-Saclay