%0 Conference Paper %1 conf/nfm/PersonD09 %A Person, Suzette %A Dwyer, Matthew B. %B NASA Formal Methods %D 2009 %E Denney, Ewen %E Giannakopoulou, Dimitra %E Pasareanu, Corina S. %K dblp %P 46-55 %T Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#PersonD09 %V NASA/CP-2009-215407

@inproceedings{conf/nfm/PersonD09, added-at = {2012-07-17T00:00:00.000+0200}, author = {Person, Suzette and Dwyer, Matthew B.}, biburl = {https://www.bibsonomy.org/bibtex/207869be944009499f553c5175c177173/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2009}, editor = {Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina S.}, interhash = {2338b35d4abc7d1b07230675524305c8}, intrahash = {07869be944009499f553c5175c177173}, keywords = {dblp}, pages = {46-55}, series = {NASA Conference Proceedings}, timestamp = {2012-07-18T11:33:57.000+0200}, title = {Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#PersonD09}, volume = {NASA/CP-2009-215407}, year = 2009 }