@INPROCEEDINGS{caltais-reg-al-2014, author = {Caltais, Georgiana}, title = {Expression-Based Aliasing for OO-Languages}, urltopdf = {http://arxiv.org/abs/1409.7509}, booktitle = {3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014)}, year = {2014} }