Smart, and also Reliable and Gas-Efficient, Contracts

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

ISBN: 9781728157771

Ano de publicación: 2020

Páxinas: 430-432

Tipo: Achega congreso

DOI: 10.1109/ICST46399.2020.00010 GOOGLE SCHOLAR