Deductive Verification of Legal Contracts.

Reiner Hhnle, Cosimo Laneve

Browse the full Coordination paper archive.