Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.

Raphal Monat, Aymeric Fromherz, Denis Merigoux

Browse the full ESOP paper archive.