OASIcs, Volume 129, FMBC 2025, Complete Volume

Marmsoler, Diego; Xu, Meng

doi:10.4230/OASIcs.FMBC.2025

Document

OASIcs, Volume 129, FMBC 2025, Complete Volume

Authors Diego Marmsoler , Meng Xu

Part of: Volume: 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)
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: 2025-05-16

PDF

File

PDF

OASIcs.FMBC.2025.pdf

Filesize: 5.15 MB
222 pages

Document Identifiers

DOI: 10.4230/OASIcs.FMBC.2025
URN: urn:nbn:de:0030-drops-231256

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 129, FMBC 2025, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

OASIcs, Volume 129, FMBC 2025, Complete Volume

Cite As Get BibTex

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

Author Details

Diego Marmsoler

University of Exeter, UK

Meng Xu

University of Waterloo, Canada

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail