Equipe-projet

OLAS

Fondements opérationnels, logiques et algébriques des systèmes logiciels
Fondements opérationnels, logiques et algébriques des systèmes logiciels
Centre(s) inria
Centre Inria d'Université Côte d'Azur
En partenariat avec
Université de Bologne (Italie)

Contacts

Christine Claux

Assistant(e) de l'équipe