%0 Thesis %1 phd/dnb/Siegel16 %A Siegel, Holger %D 2016 %I Verlag Dr. Hut %K %P 1-131 %T Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs. %@ 978-3-8439-2439-9

@phdthesis{phd/dnb/Siegel16, added-at = {2023-12-13T06:01:29.000+0100}, author = {Siegel, Holger}, biburl = {https://www.bibsonomy.org/bibtex/286e6ce4aee6285435dded36b75f85526/admin}, ee = {http://d-nb.info/108438521X}, interhash = {a973aa366d7cd016367a7ac3828a8e5b}, intrahash = {86e6ce4aee6285435dded36b75f85526}, isbn = {978-3-8439-2439-9}, keywords = {}, pages = {1-131}, publisher = {Verlag Dr. Hut}, school = {Technical University Munich, Germany}, timestamp = {2023-12-13T06:01:29.000+0100}, title = {Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs.}, year = 2016 }