Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin. Multiple Pre/Post Specifications for Heap-Manipulating Methods. In Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. pages 357-364, IEEE Computer Society, 2007. [doi]
Abstract is missing.