Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Leonardo Alt and Keyword is SolCMC  [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)