%0 Thesis %1 schweitzer2007symbolische %A Schweitzer, Dirk Stephan %D 2007 %K %T Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

@phdthesis{schweitzer2007symbolische, added-at = {2023-12-14T14:34:55.000+0100}, author = {Schweitzer, Dirk Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2a390a4ea761716610514950ee55f0e9e/admin}, dnbtitleid = {985207094}, interhash = {e0f8773c18e3bb09de9bd2ab6931080e}, intrahash = {a390a4ea761716610514950ee55f0e9e}, keywords = {}, school = {TU Darmstadt}, timestamp = {2023-12-14T14:34:55.000+0100}, title = {Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme}, year = 2007 }