Model checking smart contracts for Ethereum

Amsterdam [u.a.] / Elsevier (2020) [Journal Article]

Pervasive and mobile computing
Volume: 63
Page(s): 101129 -

Authors

Authors

Osterland, Thomas
Rose, Thomas

Identifier