Document Open Access Logo

OASIcs, Volume 84, FMBC 2020, Complete Volume

Authors Bruno Bernardo, Diego Marmsoler



PDF
Thumbnail PDF

File

OASIcs.FMBC.2020.pdf
  • Filesize: 4.84 MB
  • 136 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. OASIcs, Volume 84, FMBC 2020, Complete Volume. In 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), Volume 84, pp. 1-136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/OASIcs.FMBC.2020

Abstract

OASIcs, Volume 84, FMBC 2020, Complete Volume

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
  • OASIcs, Volume 84, FMBC 2020, Complete Volume

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