Edwin C. Chan, John Boyland, William L. Scherlis. Promises: Limited Specifications for Analysis and Manipulation. In ICSE. pages 167-176, 1998.
@inproceedings{ChanBS98,
title = {Promises: Limited Specifications for Analysis and Manipulation},
author = {Edwin C. Chan and John Boyland and William L. Scherlis},
year = {1998},
tags = {analysis, C++},
researchr = {https://researchr.org/publication/ChanBS98},
cites = {0},
citedby = {0},
pages = {167-176},
booktitle = {ICSE},
}