%0 Conference Paper %1 conf/lcpc/Diniz03 %A Diniz, Pedro C. %B LCPC %D 2003 %E Rauchwerger, Lawrence %I Springer %K dblp %P 481-494 %T Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes. %U http://dblp.uni-trier.de/db/conf/lcpc/lcpc2003.html#Diniz03 %V 2958 %@ 3-540-21199-3

@inproceedings{conf/lcpc/Diniz03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Diniz, Pedro C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fa160064e1e99195112d86e6bdad6226/dblp}, booktitle = {LCPC}, crossref = {conf/lcpc/2003}, editor = {Rauchwerger, Lawrence}, ee = {https://doi.org/10.1007/978-3-540-24644-2_31}, interhash = {1cb64064c798127877a999cf06f8dc3c}, intrahash = {fa160064e1e99195112d86e6bdad6226}, isbn = {3-540-21199-3}, keywords = {dblp}, pages = {481-494}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:42:32.000+0200}, title = {Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes.}, url = {http://dblp.uni-trier.de/db/conf/lcpc/lcpc2003.html#Diniz03}, volume = 2958, year = 2003 }