Accéder directement au contenu

Denis Merigoux

2
Documents

Présentation

Personal web page: <https://merigoux.ovh>

Publications

"raphael-monat"
Image document

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Raphaël Monat , Aymeric Fromherz , Denis Merigoux
ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩
Communication dans un congrès hal-04536403v1
Image document

Étude formelle de l'implémentation du code des impôts

Denis Merigoux , Raphaël Monat , Christophe Gaie
JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès hal-02320347v3