Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Diego Marmsoler, Meng Xu 0025, editors, 6th International Workshop on Formal Methods for Blockchains, FMBC 2025, May 4, 2025, Hamilton, Canada. Volume 129 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Conference: fmbc2025