@misc{dagstuhl-artifact-23004,
title = {{omelkonian/hoare-ledgers}},
author = {Melkonian, Orestis},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:fe2bce9b8779645c5a992156ea43604432ccc496}{\texttt{swh:1:dir:fe2bce9b8779645c5a992156ea43604432ccc496}} (visited on 2025-05-16)},
url = {https://github.com/omelkonian/hoare-ledgers},
doi = {10.4230/artifacts.23004},
}