Smart, and also Reliable and Gas-Efficient, Contracts

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

ISBN: 9781728157771

Year of publication: 2020

Pages: 430-432

Type: Conference paper

DOI: 10.1109/ICST46399.2020.00010 GOOGLE SCHOLAR
Data source: Scopus