SafeVM: A safety verifier for ethereum smart contracts

  1. Albert, E.
  2. Correas, J.
  3. Gordillo, P.
  4. Román-Díez, G.
  5. Rubio, A.
Konferenzberichte:
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

ISBN: 9781450362245

Datum der Publikation: 2019

Seiten: 390-393

Art: Konferenz-Beitrag

DOI: 10.1145/3293882.3338999 GOOGLE SCHOLAR

Ziele für nachhaltige Entwicklung

Datenquelle: Scopus