@doctoralThesis{Sammler_2023,
title={Automated and foundational verification of low-level programs},
author={Sammler, Michael Joachim},
doi={http://dx.doi.org/10.22028/D291-41316},
year={2023}
}