10. Copy link Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law rmonat.fr/data/pubs/2024/2024-04-08_esop_dates.pdf formalmethods,law,pdf,plt