OLAS: Fondements opérationnels, logiques et algébriques des systèmes logiciels | Rogue Scholar

Also known as

OLAS: Operational, Logical, and Algebraic foundations for Software systems

Type

Facility

Location

Bologna, Emilia-Romagna, Italy

Website

https://www.inria.fr/en/olas

Parent

Centre Inria d'Université Côte d'Azur

ROR