@misc{dagstuhl-artifact-22478,
title = {{FinCert}},
author = {Sorensen, Derek},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:a0d8499f935e75e7076b33b666898752e27cbf3d;origin=https://github.com/dhsorens/FinCert;visit=swh:1:snp:0cbe1a324310e49b943e1e64ae9a3df868a009a6;anchor=swh:1:rev:5fe1e6d94ac519890d1dac0d283b3969fc84bb1a}{\texttt{swh:1:dir:a0d8499f935e75e7076b33b666898752e27cbf3d}} (visited on 2024-11-28)},
url = {https://github.com/dhsorens/FinCert},
doi = {10.4230/artifacts.22478},
}