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]
@inproceedings{ChinDNQ07,
title = {Multiple Pre/Post Specifications for Heap-Manipulating Methods},
author = {Wei-Ngan Chin and Cristina David and Huu Hai Nguyen and Shengchao Qin},
year = {2007},
doi = {10.1109/HASE.2007.56},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.56},
researchr = {https://researchr.org/publication/ChinDNQ07},
cites = {0},
citedby = {0},
pages = {357-364},
booktitle = {Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA},
publisher = {IEEE Computer Society},
}