Accéder directement au contenu
AP

Andrei Paskevich

1
Documents
Identifiants chercheurs

Présentation

Publications

quentin-garchery
Image document

Des transformations logiques passent leur certificat

Quentin Garchery , Chantal Keller , Claude Marché , Andrei Paskevich
JFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès hal-02384946v2