Accurate Smart Contract Verification Through Direct Modelling
Additional information
Authors
Sharygina N.,
Marescotti M.,
Otoni R. B.,
Alt L.,
Eugster P. T.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2020
Language
English
Conference proceedings
9th International Symposium on Leveraging Applications of Formal Methods Part III
Meeting name
ISoLA 2020
Meeting place
Rhodes, Greece
Meeting date
October 20-30, 2020
