OASIcs, Volume 142, FMBC 2026, Complete Volume

Bartoletti, Massimo; Marmsoler, Diego

doi:10.4230/OASIcs.FMBC.2026

Document

OASIcs, Volume 142, FMBC 2026, Complete Volume

Authors Massimo Bartoletti , Diego Marmsoler

Part of: Volume: 7th International Workshop on Formal Methods for Blockchains (FMBC 2026)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Workshop on Formal Methods for Blockchains (FMBC)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2026-05-20

PDF

File

PDF

OASIcs.FMBC.2026.pdf

Filesize: 4.77 MB
124 pages

Document Identifiers

DOI: 10.4230/OASIcs.FMBC.2026
URN: urn:nbn:de:0030-drops-260025

Subject Classification

ACM Subject Classification

Security and privacy → Formal methods and theory of security
Security and privacy → Logic and verification
Theory of computation → Program verification
Software and its engineering → Formal software verification
Security and privacy → Distributed systems security
Computer systems organization → Peer-to-peer architectures

Keywords

OASIcs, Volume 142, FMBC 2026, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

OASIcs, Volume 142, FMBC 2026, Complete Volume

Cite As Get BibTex

7th International Workshop on Formal Methods for Blockchains (FMBC 2026). Open Access Series in Informatics (OASIcs), Volume 142, pp. 1-124, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/OASIcs.FMBC.2026

Author Details

Massimo Bartoletti

University of Cagliari, Italy

Diego Marmsoler

University of Exeter, UK

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail