PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle | Rogue Scholar

Also known as

PASCALINE: Computer Arithmetic, Computer Algebra and Formal Verification

Type

Facility

Location

Lyon, Rhône-Alpes, France

Website

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

Parent

Centre Inria de Lyon

ROR