19èmes journées Approches Formelles
dans l'Assistance au Développement
de Logiciels - AFADL 2020
Affiliées aux Journées Nationales du GDR GPL 2020, Vannes