ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code | Rogue Scholar

Also known as

ARIC: Arithmetic and Computing

Type

Facility

Location

Lyon, Rhône-Alpes, France

Website

https://www.inria.fr/equipes/aric

Parent

Centre Inria de Lyon

ROR