Publications : Matteo Manighetti
Back| [3] | Benoît Boyer, Noé Canva, Matteo Manighetti, and Claude Marché. A correct-by-construction checker for validation of railway data. In Dafny mini-conference, Rennes, France, 2026. [ bib | full text on HAL ] |
| [2] | Benoît Boyer, Noé Canva, Matteo Manighetti, and Claude Marché. Design of a correct-by-construction checker for constraints on railway-oriented databases. Technical Report RR-9596, Inria Saclay - Île de France, 2025. [ bib | full text on HAL ] |
| [1] | Matteo Manighetti and Dale Miller. Peano arithmetic and μMALL. working paper or preprint, 2024. [ bib | DOI | full text on HAL ] |
Back
This page was generated by bibtex2html.