Smart, and also Reliable and Gas-Efficient, Contracts
- Albert, E.
- Correas, J.
- Gordillo, P.
- Roman-Diez, G.
- Rubio, A.
Actes de conférence:
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
ISBN: 9781728157771
Année de publication: 2020
Pages: 430-432
Type: Communication dans un congrès