Model checking smart contracts for Ethereum

Amsterdam [u.a.] / Elsevier (2020) [Fachzeitschriftenartikel]

Pervasive and mobile computing
Band: 63
Seite(n): 101129 -

Autorinnen und Autoren

Autorinnen und Autoren

Osterland, Thomas
Rose, Thomas

Identifikationsnummern