Smart Contracts: Application Scenarios for Deductive Program Verification.

Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich

Browse the full FM paper archive.