%0 Thesis %1 klein1996fixpoint %A Klein, Marion %D 1996 %K %T The fixpoint analysis machine

@phdthesis{klein1996fixpoint, added-at = {2023-12-12T19:55:39.000+0100}, author = {Klein, Marion}, biburl = {https://www.bibsonomy.org/bibtex/255b7c537f6a11ce0084db80db7f2f3db/admin}, dnbtitleid = {948073551}, interhash = {27ffa8ace2edf158ada1a6934bf61670}, intrahash = {55b7c537f6a11ce0084db80db7f2f3db}, keywords = {}, school = {TU Aachen}, timestamp = {2023-12-12T19:55:39.000+0100}, title = {The fixpoint analysis machine}, year = 1996 }