Denis Merigoux
2
Documents
Présentation
Personal web page: <https://merigoux.ovh>
Publications
- 2
- 1
- 1
- 2
- 1
- 1
|
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the LawESOP 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
|
|
Étude formelle de l'implémentation du code des impôtsJFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès
hal-02320347v3
|