Promises: Limited Specifications for Analysis and Manipulation. Chan, E. C., Boyland, J., & Scherlis, W. L. In Torii, K., Futatsugi, K., & Kemmerer, R. A., editors, ICSE, pages 167-176, 1998. IEEE Computer Society.
Promises: Limited Specifications for Analysis and Manipulation. [link]Link  Promises: Limited Specifications for Analysis and Manipulation. [link]Paper  bibtex   
@inproceedings{ conf/icse/ChanBS98,
  added-at = {2015-08-10T00:00:00.000+0200},
  author = {Chan, Edwin C. and Boyland, John and Scherlis, William L.},
  biburl = {http://www.bibsonomy.org/bibtex/2e0047bae82d1880340b1ecbde45d3717/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/1998},
  editor = {Torii, Koji and Futatsugi, Kokichi and Kemmerer, Richard A.},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICSE.1998.671113},
  interhash = {beab928f059643a4b4c8a6d57d231b29},
  intrahash = {e0047bae82d1880340b1ecbde45d3717},
  isbn = {0-8186-8368-6},
  keywords = {dblp},
  pages = {167-176},
  publisher = {IEEE Computer Society},
  title = {Promises: Limited Specifications for Analysis and Manipulation.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse98.html#ChanBS98},
  year = {1998}
}
Downloads: 0