Smart contracts and inter blockchain protocols with the Isabelle Infrastructure framework. (2020)

First Author: Kammueller, F
Attributed to:  SUCCESS -- SecUre aCCESSibility for the internet of things funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/opus/volltexte/2020/13424/pdf/OASIcs-FMBC-2020-11.pdf

Type: Conference/Paper/Proceeding/Abstract

Volume: 84

Issue: 10