Personensuche
X
?
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) ,
6
Smart, and also Reliable and Gas-Efficient, Contracts:
, In:
?
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
9
SAFEVM: a safety verifier for Ethereum smart contracts:
, In:
?
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
10