Multiple Pre/Post Specifications for Heap-Manipulating Methods.

Wei-Ngan Chin Cristina David Huu Hai Nguyen Shengchao Qin Multiple Pre/Post Specifications for Heap-Manipulating Methods. 357-364 2007 conf/hase/2007 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2007.56 db/conf/hase/hase2007.html#ChinDNQ07