Project 23-STIC-07 participating institutions:
Universidad Nacional de Córdoba and CONICET 🇦🇷
Universidade Federal Fluminense 🇧🇷
Universidad Católica de Chile 🇨🇱
Laboratoire d'Informatique de l'Ecole Polytechnique and CNRS 🇫🇷
Laboratoire Méthodes Formelles (LMF), ENS Paris Saclay and CNRS 🇫🇷