Accurate Smart Contract Verification Through Direct Modelling
Informazioni aggiuntive
Autori
Sharygina N.,
Marescotti M.,
Otoni R. B.,
Alt L.,
Eugster P. T.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2020
Lingua
Inglese
Titolo atti di convegno
9th International Symposium on Leveraging Applications of Formal Methods Part III
Nome convegno
ISoLA 2020
Luogo convegno
Rhodes, Greece
Data convegno
October 20-30, 2020
