Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Students
Community Service
Ph.D
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
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Cite
×