Accéder directement au contenu

Claude Marché

1
Documents

Publications

chantal-keller
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