Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Rodrigo Otoni  [Clear All Filters]
2020
Accurate Smart Contract Verification through Direct Modelling, Marescotti, Matteo, Otoni Rodrigo, Alt Leonardo, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha , ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)