Formal Verification of Legal Contracts: A Translation-Based Approach.

Reiner Hhnle, Cosimo Laneve, Adele Veschetti

Browse the full IFM paper archive.