Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages
LATEST NEWS
HISTORY
CO-PUBLICATIONS
BILATERAL PROJECTS
MEMBERS
RESEARCH
Alejandro Díaz-Caro and Pablo Arrighi present a “Café de las Ciencias”
Nov 6, 2023
