Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is SolCMC and Author is Leonardo Alt  [Clear All Filters]
2022
SolCMC: Solidity Compiler’s Model Checker, Alt, Leonardo, Blicha Martin, Hyvärinen Antti E. J., and Sharygina Natasha , CAV, Haifa, Isreal, (2022)