@inproceedings{garchery:hal-02384946, TITLE = {{Des transformations logiques passent leur certificat}}, AUTHOR = {Garchery, Quentin and Keller, Chantal and March{\'e}, Claude and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-02384946}, BOOKTITLE = {{JFLA 2020 - Journ{\'e}es Francophones des Langages Applicatifs}}, ADDRESS = {Gruissan, France}, YEAR = {2020}, MONTH = Jan, PDF = {https://inria.hal.science/hal-02384946v2/file/main.pdf}, HAL_ID = {hal-02384946}, HAL_VERSION = {v2}, }