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]
Abstract is missing.