Publications
Export 1 results:
Author Title Type [ Year] Filters: First Letter Of Title is C and Author is Sepideh Asadi [Clear All Filters]
Computing Exact Worst-Case Gas Consumption for Smart Contracts,
, International Symposium on Leveraging Applications of Formal Methods ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice , Cyprus, (2018)