Bruno Bernardo, Diego Marmsoler, editors, 5th International Workshop on Formal Methods for Blockchains, FMBC 2024, April 7, 2024, Luxembourg City, Luxembourg. Volume 118 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Conference: fmbc2024