Chin, W., David, C., Nguyen, H., Qin, S., Necula, G., & Wadler, P. (2008). Enhancing Modular OO Verification with Separation Logic. In 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 7-12 January, 2008, San Francisco, California, USA ; proceedings (87-99). https://doi.org/10.1145/1328897.1328452