@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}
}

{"_id":"LEM9so4JuGh94jgSo","bibbaseid":"chan-boyland-scherlis-promiseslimitedspecificationsforanalysisandmanipulation-1998","downloads":0,"creationDate":"2015-09-08T15:38:37.270Z","title":"Promises: Limited Specifications for Analysis and Manipulation.","author_short":["Chan, E.<nbsp>C.","Boyland, J.","Scherlis, W.<nbsp>L."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/john?items=1000","bibdata":{"added-at":"2015-08-10T00:00:00.000+0200","author":["Chan, Edwin C.","Boyland, John","Scherlis, William L."],"author_short":["Chan, E.<nbsp>C.","Boyland, J.","Scherlis, W.<nbsp>L."],"bibtex":"@inproceedings{ conf/icse/ChanBS98,\n added-at = {2015-08-10T00:00:00.000+0200},\n author = {Chan, Edwin C. and Boyland, John and Scherlis, William L.},\n biburl = {http://www.bibsonomy.org/bibtex/2e0047bae82d1880340b1ecbde45d3717/dblp},\n booktitle = {ICSE},\n crossref = {conf/icse/1998},\n editor = {Torii, Koji and Futatsugi, Kokichi and Kemmerer, Richard A.},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ICSE.1998.671113},\n interhash = {beab928f059643a4b4c8a6d57d231b29},\n intrahash = {e0047bae82d1880340b1ecbde45d3717},\n isbn = {0-8186-8368-6},\n keywords = {dblp},\n pages = {167-176},\n publisher = {IEEE Computer Society},\n title = {Promises: Limited Specifications for Analysis and Manipulation.},\n url = {http://dblp.uni-trier.de/db/conf/icse/icse98.html#ChanBS98},\n year = {1998}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/2e0047bae82d1880340b1ecbde45d3717/dblp","booktitle":"ICSE","crossref":"conf/icse/1998","editor":["Torii, Koji","Futatsugi, Kokichi","Kemmerer, Richard A."],"editor_short":["Torii, K.","Futatsugi, K.","Kemmerer, R.<nbsp>A."],"ee":"http://doi.ieeecomputersociety.org/10.1109/ICSE.1998.671113","id":"conf/icse/ChanBS98","interhash":"beab928f059643a4b4c8a6d57d231b29","intrahash":"e0047bae82d1880340b1ecbde45d3717","isbn":"0-8186-8368-6","key":"conf/icse/ChanBS98","keywords":"dblp","pages":"167-176","publisher":"IEEE Computer Society","title":"Promises: Limited Specifications for Analysis and Manipulation.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/icse/icse98.html#ChanBS98","year":"1998","bibbaseid":"chan-boyland-scherlis-promiseslimitedspecificationsforanalysisandmanipulation-1998","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ICSE.1998.671113","Paper":"http://dblp.uni-trier.de/db/conf/icse/icse98.html#ChanBS98"},"keyword":["dblp"],"downloads":0},"search_terms":["promises","limited","specifications","analysis","manipulation","chan","boyland","scherlis"],"keywords":["dblp"],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2"]}