Smart, and also Reliable and Gas-Efficient, Contracts
- Albert, E.
- Correas, J.
- Gordillo, P.
- Roman-Diez, G.
- Rubio, A.
Actas:
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
ISBN: 9781728157771
Año de publicación: 2020
Páginas: 430-432
Tipo: Aportación congreso