3rd International Workshop on Formal Methods for Blockchains

被引：0

作者：

Bernardo, Bruno ^{[1
]}

Marmsoler, Diego ^{[2
]}

机构：

[1] Nomadic Labs, Paris, France

[2] University of Exeter, United Kingdom

来源：

OpenAccess Series in Informatics | 2021年 / 95卷

关键词：

D O I：

10.4230/OASIcs.FMBC.2021.0

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

empty

未找到相关数据