A Formal Language for Writing Contracts

William M. Farmer, Qian Hu. A Formal Language for Writing Contracts. In 17th IEEE International Conference on Information Reuse and Integration, IRI 2016, Pittsburgh, PA, USA, July 28-30, 2016. pages 134-141, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.