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
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Cite
×