Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification Chapter

authors

Marmsoler, Diego

publication date

January 1, 2019

has subject area

published in

Lecture Notes in Computer Science

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-030-21759-4_12

start page

204

end page

223