Chin, W., David, C., Nguyen, H., & Qin, S. (2007). Multiple Pre/Post Specifications for Heap-Manipulating Methods. In IEEE International Symposium on High Assurance Systems Engineering : 14-16 November 2007, Dallas, Texas ; proceedings. (357-364). https://doi.org/10.1109/hase.2007.19