DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique | Rogue Scholar

Also known as

DEDUCTEAM

Type

Facility

Location

Saclay, Île-de-France, France

Website

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

Parent

Centre Inria de Saclay

ROR

Laboratoire Méthodes Formelles

ROR

Centre Inria de l'Université Paris-Saclay

ROR