Skip to content
Home
Publications
Talks
Students
Community Service
Ph.D
Menu
Publications
Talks
Students
Community Service
Ph.D
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