Andre Knispel, Orestis Melkonian, James Chapman 0001, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell. Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. In 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]
Abstract is missing.