Skip to Main content
New interface

Production year

Researcher identifiers

External widget

Number of documents

1


Chantal Keller   

Conference papers1 document

  • Quentin Garchery, Chantal Keller, Claude Marché, Andrei Paskevich. Des transformations logiques passent leur certificat. JFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. ⟨hal-02384946v2⟩