Project-team OLAS Operational, Logical, and Algebraic foundations for Software systems Operational, Logical, and Algebraic foundations for Software systems
Centre(s) inria Inria Centre at Université Côte d'Azur In partnership with Université de Bologne (Italie) Publications HALActivity reports Contacts Davide Sangiorgi Team leader Christine Claux Team assistant Discover similar project-teams about the same theme
