Smart, and also Reliable and Gas-Efficient, Contracts

  1. Albert, E.
  2. Correas, J.
  3. Gordillo, P.
  4. Roman-Diez, G.
  5. Rubio, A.
Actes:
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020

ISBN: 9781728157771

Any de publicació: 2020

Pàgines: 430-432

Tipus: Aportació congrés

DOI: 10.1109/ICST46399.2020.00010 GOOGLE SCHOLAR
Font de les dades: Scopus