Functional Verification of Smart Contracts via Strong Data Integrity.

Wolfgang Ahrendt, Richard Bubel

Browse the full ISoLA paper archive.