Luo, C., He, G., & Qin, S. (2008, December). A Heap Model for Java Bytecode to Support Separation Logic. Presented at 15th Asia-Pacific Software Engineering Conference (APSEC 2008), Beijing, China