A Formal Language for Writing Contracts.

William M. Farmer, Qian Hu

Browse the full IRI paper archive.