Smart Contracts and Opportunities for Formal Methods.

Andrew Miller, Zhicheng Cai, Somesh Jha

Browse the full ISoLA paper archive.