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) Publications HALRapport d'activité Contacts Davide Sangiorgi Responsable de l'équipe Christine Claux Assistant(e) de l'équipe Découvrez les autres équipes qui travaillent sur le même thème