%0 Thesis %1 phd/dnb/Siegel16 %A Siegel, Holger %D 2016 %I Verlag Dr. Hut %K dblp %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 = {2021-07-17T00:00:00.000+0200}, author = {Siegel, Holger}, biburl = {https://www.bibsonomy.org/bibtex/286e6ce4aee6285435dded36b75f85526/dblp}, ee = {https://d-nb.info/108438521X}, interhash = {a973aa366d7cd016367a7ac3828a8e5b}, intrahash = {86e6ce4aee6285435dded36b75f85526}, isbn = {978-3-8439-2439-9}, keywords = {dblp}, pages = {1-131}, publisher = {Verlag Dr. Hut}, school = {Technical University Munich, Germany}, timestamp = {2024-04-09T08:14:00.000+0200}, title = {Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs.}, year = 2016 }