%0 Conference Paper %1 conf/tase/OwenA09 %A Owen, Rhys %A Anderson, Hugh %B TASE %D 2009 %E Chin, Wei-Ngan %E Qin, Shengchao %I IEEE Computer Society %K dblp %P 307-308 %T Data Structure Shape Inference and Verification for OO Programs. %U http://dblp.uni-trier.de/db/conf/tase/tase2009.html#OwenA09 %@ 978-0-7695-3757-3

@inproceedings{conf/tase/OwenA09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Owen, Rhys and Anderson, Hugh}, biburl = {https://www.bibsonomy.org/bibtex/2457e41c11362a0bf177d6ee5553871e1/dblp}, booktitle = {TASE}, crossref = {conf/tase/2009}, editor = {Chin, Wei-Ngan and Qin, Shengchao}, ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2009.48}, interhash = {caa6d267bb5c65eb8c889af245a1f428}, intrahash = {457e41c11362a0bf177d6ee5553871e1}, isbn = {978-0-7695-3757-3}, keywords = {dblp}, pages = {307-308}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:22:48.000+0200}, title = {Data Structure Shape Inference and Verification for OO Programs.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2009.html#OwenA09}, year = 2009 }