HTML Export for FMBC 2021

Copy to Clipboard Download

<h2>OASIcs, Volume 95, FMBC 2021</h2>
<ul>
<li>
    <span class="authors">Bruno Bernardo and Diego Marmsoler</span>
    <span class="title">OASIcs, Volume 95, FMBC 2021, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2021">10.4230/OASIcs.FMBC.2021</a>
</li>
<li>
    <span class="authors">Bruno Bernardo and Diego Marmsoler</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2021.0">10.4230/OASIcs.FMBC.2021.0</a>
</li>
<li>
    <span class="authors">Kinnari Dave, Vilhelm Sjöberg, and Xinyuan Sun</span>
    <span class="title">Towards Verified Price Oracles for Decentralized Exchange Protocols</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2021.1">10.4230/OASIcs.FMBC.2021.1</a>
</li>
<li>
    <span class="authors">Murdoch J. Gabbay, Arvid Jakobsson, and Kristina Sojakova</span>
    <span class="title">Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2021.2">10.4230/OASIcs.FMBC.2021.2</a>
</li>
<li>
    <span class="authors">Daniel Britten, Vilhelm Sjöberg, and Steve Reeves</span>
    <span class="title">Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2021.3">10.4230/OASIcs.FMBC.2021.3</a>
</li>
<li>
    <span class="authors">Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, and Alain Mebsout</span>
    <span class="title">Formally Documenting Tenderbake (Short Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2021.4">10.4230/OASIcs.FMBC.2021.4</a>
</li>
<li>
    <span class="authors">Thi Thu Ha Doan and Peter Thiemann</span>
    <span class="title">Towards Contract Modules for the Tezos Blockchain (Short Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2021.5">10.4230/OASIcs.FMBC.2021.5</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode