Accurate Smart Contract Verification Through Direct Modelling

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
January 2020
Cite DOI URL
Type
Conference paper
Publication
9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications (ISoLA 2020)

Add the full text or supplementary notes for the publication here using Markdown formatting.