SafeVM: A safety verifier for ethereum smart contracts
- Albert, E.
- Correas, J.
- Gordillo, P.
- Román-Díez, G.
- Rubio, A.
Actes:
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISBN: 9781450362245
Any de publicació: 2019
Pàgines: 390-393
Tipus: Aportació congrés