%0 Conference Paper %1 conf/nfm/HerzA12 %A Herz, Alexander %A Apinis, Kalmer %B NASA Formal Methods %D 2012 %E Goodloe, Alwyn %E Person, Suzette %I Springer %K dblp %P 106-119 %T Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#HerzA12 %V 7226 %@ 978-3-642-28890-6

@inproceedings{conf/nfm/HerzA12, added-at = {2017-05-25T00:00:00.000+0200}, author = {Herz, Alexander and Apinis, Kalmer}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ab405e2ccde8e81cc9ddede91c4b88c4/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2012}, editor = {Goodloe, Alwyn and Person, Suzette}, ee = {https://doi.org/10.1007/978-3-642-28891-3_11}, interhash = {5fbfe585d77c433a8c7d95616a8ee6e3}, intrahash = {ab405e2ccde8e81cc9ddede91c4b88c4}, isbn = {978-3-642-28890-6}, keywords = {dblp}, pages = {106-119}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:28:25.000+0200}, title = {Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#HerzA12}, volume = 7226, year = 2012 }