Raphaël Monat
Raphaël Monat
Home
Publications
Ph.D
Talks
Community Service
Students
Contact
Light
Dark
Automatic
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Raphaël Monat
Slides
Date
23/02/24
Event
Épicure seminar
Location
IRISA
See
related publication page
.
Related
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Cite
×