Ligia Nistor. Verifying the proxy design pattern using object propositions. In Gail C. Murphy, editor, Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017. pages 30-32, ACM, 2017. [doi]
@inproceedings{Nistor17, title = {Verifying the proxy design pattern using object propositions}, author = {Ligia Nistor}, year = {2017}, doi = {10.1145/3135932.3135950}, url = {https://doi.org/10.1145/3135932.3135950}, researchr = {https://researchr.org/publication/Nistor17}, cites = {0}, citedby = {0}, pages = {30-32}, booktitle = {Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017}, editor = {Gail C. Murphy}, publisher = {ACM}, isbn = {978-1-4503-5514-8}, }