%0 Thesis %1 huch2001verification %A Huch, Frank Günter %D 2001 %K %T Verification of Erlang programs using abstract interpretation and model checking

@phdthesis{huch2001verification, added-at = {2023-12-13T04:21:26.000+0100}, author = {Huch, Frank Günter}, biburl = {https://www.bibsonomy.org/bibtex/26faaec45dd0c172d2f1600284c3907ea/admin}, dnbtitleid = {966168674}, interhash = {94c0c8503e5bceec1c48ab8b4b20cb6c}, intrahash = {6faaec45dd0c172d2f1600284c3907ea}, keywords = {}, school = {TU Aachen}, timestamp = {2023-12-13T04:21:26.000+0100}, title = {Verification of Erlang programs using abstract interpretation and model checking}, year = 2001 }