ANTIQUE: Analyse Statique par Interprétation Abstraite | Rogue Scholar

Also known as

ANTIQUE: Static Analysis by Abstract Interpretation

Type

Facility

Location

Paris, Île-de-France, France

Website

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

Parent

Centre Inria de Paris

ROR