@议事录{dargaye_et_al:OASIcs.FMBC.2022，title={{OASIcs，第105卷，FMBC 2022，完整卷}}，booktitle={第四届区块链形式方法国际研讨会（FMBC 2022）}，页数={1--74}，series={信息学开放存取系列（OASIcs）}，国际标准图书编号={978-3-95977-250-1}，ISSN={2190-6807}，年份={2022}，体积={105}，editor={达盖耶，扎纳和施奈德温德，克拉拉}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2022},URN={URN:nbn:de:0030-drops-171802}，doi={10.4230/OASIcs.FMBC.2022}，annote={关键词：OASIcs，第105卷，FMBC 2022，完整卷}}
