@phdthesis{ThesisPhDDesharnais2025,
TITLE = {Formal Verification of Logical Calculi and Simulations in {Isabelle/HOL}},
AUTHOR = {Desharnais, Martin},
LANGUAGE = {eng},
URL = {urn:nbn:de:bsz:291--ds-450437},
DOI = {10.22028/D291-45043},
SCHOOL = {Universit{\"a}t des Saarlandes},
ADDRESS = {Saarbr{\"u}cken},
YEAR = {2025},
MARGINALMARK = {$\bullet$},
DATE = {2025},
}