[EN LIGNE] Séminaire du groupe de travail "Langages et Vérification de Programmes"
Le CNRS vous propose de participer au séminaire en ligne du groupe de travail "Langages et Vérification de Programmes" (GT LVP) de son Groupement de recherche génie de la programmation et du logiciel (GDR GLP).