Document Open Access Logo

Front Matter, Table of Contents, Preface, Conference Organization

Authors Bruno Bernardo, Diego Marmsoler



PDF
Thumbnail PDF

File

OASIcs.FMBC.2021.0.pdf
  • Filesize: 442 kB
  • 12 pages

Document Identifiers

Author Details

Bruno Bernardo
  • Nomadic Labs, Paris, France
Diego Marmsoler
  • University of Exeter, UK

Cite AsGet BibTex

Bruno Bernardo and Diego Marmsoler. Front Matter, Table of Contents, Preface, Conference Organization. In 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 0:i-0:xii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/OASIcs.FMBC.2021.0

Abstract

Front Matter, Table of Contents, Preface, Conference Organization

Subject Classification

ACM Subject Classification
  • Security and privacy → Logic and verification
  • Software and its engineering → Formal software verification
  • Security and privacy → Distributed systems security
  • Computer systems organization → Peer-to-peer architectures
Keywords
  • Front Matter
  • Table of Contents
  • Preface
  • Conference Organization

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail