@inproceedings{ dblp4272506,
  title = {HASCASL: Towards Integrated Specification and Development of Functional Programs},
  author = {Lutz Schröder and Till Mossakowski},
  author_short = {Schröder, L. and Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp4272506},
  id = {dblp4272506},
  biburl = {http://www.dblp.org/rec/bibtex/conf/amast/SchroderM02},
  url = {http://dx.doi.org/10.1007/3-540-45719-4_8},
  conference = {AMAST},
  pages = {99-116},
  text = {AMAST 2002:99-116},
  booktitle = {Proceedings of Algebraic Methodology and Software Technology (AMAST)}
}

{"_id":"FDhBWJLkW39CD8smZ","bibbaseid":"schrder-mossakowski-hascasltowardsintegratedspecificationanddevelopmentoffunctionalprograms-2002","downloads":0,"creationDate":"2016-05-07T17:06:47.427Z","title":"HASCASL: Towards Integrated Specification and Development of Functional Programs","author_short":["Schröder, L.","Mossakowski, T."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/amast/SchroderM02","bibdata":{"title":"HASCASL: Towards Integrated Specification and Development of Functional Programs","author":["Lutz Schröder","Till Mossakowski"],"author_short":["Schröder, L.","Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp4272506","id":"dblp4272506","biburl":"http://www.dblp.org/rec/bibtex/conf/amast/SchroderM02","url":"http://dx.doi.org/10.1007/3-540-45719-4_8","conference":"AMAST","pages":"99-116","text":"AMAST 2002:99-116","booktitle":"Proceedings of Algebraic Methodology and Software Technology (AMAST)","bibtex":"@inproceedings{ dblp4272506,\n title = {HASCASL: Towards Integrated Specification and Development of Functional Programs},\n author = {Lutz Schröder and Till Mossakowski},\n author_short = {Schröder, L. and Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp4272506},\n id = {dblp4272506},\n biburl = {http://www.dblp.org/rec/bibtex/conf/amast/SchroderM02},\n url = {http://dx.doi.org/10.1007/3-540-45719-4_8},\n conference = {AMAST},\n pages = {99-116},\n text = {AMAST 2002:99-116},\n booktitle = {Proceedings of Algebraic Methodology and Software Technology (AMAST)}\n}","bibbaseid":"schrder-mossakowski-hascasltowardsintegratedspecificationanddevelopmentoffunctionalprograms-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-45719-4_8"},"downloads":0},"search_terms":["hascasl","towards","integrated","specification","development","functional","programs","schröder","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["oCufAMp54D8ps2fer"]}