@misc{dagstuhl-artifact-23005,
title = {{input-output-hk/formal-streamlet}},
author = {Melkonian, Orestis and Jaskelioff, Mauro},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:70b9f1e274a05bad6f0e9fd5fe4e0f70033f503f}{\texttt{swh:1:dir:70b9f1e274a05bad6f0e9fd5fe4e0f70033f503f}} (visited on 2025-05-16)},
url = {https://github.com/input-output-hk/formal-streamlet},
doi = {10.4230/artifacts.23005},
}