10.

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