Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel The Coquelicot library
The Coquelicot library - The Coquelicot library
Date de dernière version : 07 septembre 2017

Responsable : BOLDO Sylvie




Pour en savoir plus: http://coquelicot.saclay.inria.fr/

Logiciel



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Membres
  BOLDO Sylvie
  MELQUIOND Guillaume
  LELAY Catherine

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library