@incollection{herz12class, author = {Alexander Herz and Kalmer Apinis}, title = {Class-{M}odular, {C}lass-{E}scape and {P}oints-to {A}nalysis for {O}bject-{O}riented {L}anguages}, booktitle = {NASA Formal Methods}, editor = {Alwyn Goodloe and Suzette Person}, year = 2012, pages = {106-119}, series = {Lecture Notes in Computer Science}, volume = {7226}, publisher = {Springer Berlin / Heidelberg}, }