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 Christine Claux Team assistant Discover similar project-teams about the same theme