%0 Conference Paper %1 conf/pppj/MilanovaD16 %A Milanova, Ana L. %A Dong, Yao %B PPPJ %D 2016 %E Binder, Walter %E Tuma, Petr %I ACM %K dblp %P 6:1-6:12 %T Inference and Checking of Object Immutability. %U http://dblp.uni-trier.de/db/conf/pppj/pppj2016.html#MilanovaD16 %@ 978-1-4503-4135-6

@inproceedings{conf/pppj/MilanovaD16, added-at = {2022-03-24T00:00:00.000+0100}, author = {Milanova, Ana L. and Dong, Yao}, biburl = {https://www.bibsonomy.org/bibtex/2b7a2101d6fb249557e0715a70db61d2b/dblp}, booktitle = {PPPJ}, crossref = {conf/pppj/2016}, editor = {Binder, Walter and Tuma, Petr}, ee = {https://doi.org/10.1145/2972206.2972208}, interhash = {7dc3afaa24c66de59796033cff1102b3}, intrahash = {b7a2101d6fb249557e0715a70db61d2b}, isbn = {978-1-4503-4135-6}, keywords = {dblp}, pages = {6:1-6:12}, publisher = {ACM}, timestamp = {2024-04-09T09:43:18.000+0200}, title = {Inference and Checking of Object Immutability.}, url = {http://dblp.uni-trier.de/db/conf/pppj/pppj2016.html#MilanovaD16}, year = 2016 }