5th International Workshop on Formal Methods for Blockchains, FMBC 2024, April 7, 2024, Luxembourg City, Luxembourg

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

Bibliographies