Correctness of Smart Contracts for Consistency Enforcement

Thomas Osterland, Thomas Rose 0001. Correctness of Smart Contracts for Consistency Enforcement. ERCIM News, 2017(110), 2017. [doi]

Authors

Thomas Osterland

This author has not been identified. Look up 'Thomas Osterland' in Google

Thomas Rose 0001

This author has not been identified. Look up 'Thomas Rose 0001' in Google