%0 Conference Paper %1 conf/lcpc/CorberaAZ00 %A Corbera, Francisco %A Asenjo, Rafael %A Zapata, Emilio L. %B LCPC %D 2000 %E Midkiff, Samuel P. %E Moreira, José E. %E Gupta, Manish %E Chatterjee, Siddhartha %E Ferrante, Jeanne %E Prins, Jan F. %E Pugh, William W. %E Tseng, Chau-Wen %I Springer %K dblp %P 1-15 %T Accurate Shape Analysis for Recursive Data Structures. %U http://dblp.uni-trier.de/db/conf/lcpc/lcpc2000.html#CorberaAZ00 %V 2017 %@ 3-540-42862-3

@inproceedings{conf/lcpc/CorberaAZ00, added-at = {2018-11-02T00:00:00.000+0100}, author = {Corbera, Francisco and Asenjo, Rafael and Zapata, Emilio L.}, biburl = {https://www.bibsonomy.org/bibtex/220ddeffd65d0d53be56c7b88cb631dad/dblp}, booktitle = {LCPC}, crossref = {conf/lcpc/2000}, editor = {Midkiff, Samuel P. and Moreira, José E. and Gupta, Manish and Chatterjee, Siddhartha and Ferrante, Jeanne and Prins, Jan F. and Pugh, William W. and Tseng, Chau-Wen}, ee = {https://doi.org/10.1007/3-540-45574-4_1}, interhash = {50fb88df416b8911b81f360688c775db}, intrahash = {20ddeffd65d0d53be56c7b88cb631dad}, isbn = {3-540-42862-3}, keywords = {dblp}, pages = {1-15}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T21:25:35.000+0200}, title = {Accurate Shape Analysis for Recursive Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/lcpc/lcpc2000.html#CorberaAZ00}, volume = 2017, year = 2000 }