BibTeX
@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}, }
Endnote
%0 Thesis %A Desharnais, Martin %Y Weidenbach, Christoph %A referee: Bromberger, Martin %A referee: Tourret, Sophie %+ Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society %T Formal Verification of Logical Calculi and Simulations in Isabelle/HOL : %G eng %U http://hdl.handle.net/21.11116/0000-0011-77DB-1 %R 10.22028/D291-45043 %U urn:nbn:de:bsz:291--ds-450437 %F OTHER: hdl:20.500.11880/39960 %I Universität des Saarlandes %C Saarbrücken %D 2025 %P XII, 155 p. %V phd %9 phd %U http://dx.doi.org/10.22028/D291-45043