SolCMC: Solidity Compiler's Model Checker
Informazioni aggiuntive
Autori
Tipo
Contributo in atti di convegno
Anno
2022
Lingua
Inglese
Nome convegno
CAV 2022
Luogo convegno
Haifa, Israel
Data convegno
August 7-10, 2022
