@inproceedings{ dblp4572570,
  title = {A Pragmatic Approach to Software Synthesis},
  author = {Burkhard Freitag and Tiziana Margaria and Bernhard Steffen},
  author_short = {Freitag, B. and Margaria, T. and Steffen, B.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1994},
  key = {dblp4572570},
  id = {dblp4572570},
  biburl = {http://www.dblp.org/rec/bibtex/conf/idl/FreitagMS94},
  url = {http://doi.acm.org/10.1145/185084.185102},
  conference = {Workshop on Interface Definition Languages},
  pages = {46-58},
  text = {Workshop on Interface Definition Languages 1994:46-58},
  booktitle = {Proceedings of Workshop on Interface Definition Languages}
}

{"_id":"yihcQrBF2DFYSXd3r","bibbaseid":"freitag-margaria-steffen-apragmaticapproachtosoftwaresynthesis-1994","downloads":0,"creationDate":"2015-12-04T23:16:19.632Z","title":"A Pragmatic Approach to Software Synthesis","author_short":["Freitag, B.","Margaria, T.","Steffen, B."],"year":1994,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/idl/FreitagMS94","bibdata":{"title":"A Pragmatic Approach to Software Synthesis","author":["Burkhard Freitag","Tiziana Margaria","Bernhard Steffen"],"author_short":["Freitag, B.","Margaria, T.","Steffen, B."],"bibtype":"inproceedings","type":"inproceedings","year":"1994","key":"dblp4572570","id":"dblp4572570","biburl":"http://www.dblp.org/rec/bibtex/conf/idl/FreitagMS94","url":"http://doi.acm.org/10.1145/185084.185102","conference":"Workshop on Interface Definition Languages","pages":"46-58","text":"Workshop on Interface Definition Languages 1994:46-58","booktitle":"Proceedings of Workshop on Interface Definition Languages","bibtex":"@inproceedings{ dblp4572570,\n title = {A Pragmatic Approach to Software Synthesis},\n author = {Burkhard Freitag and Tiziana Margaria and Bernhard Steffen},\n author_short = {Freitag, B. and Margaria, T. and Steffen, B.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1994},\n key = {dblp4572570},\n id = {dblp4572570},\n biburl = {http://www.dblp.org/rec/bibtex/conf/idl/FreitagMS94},\n url = {http://doi.acm.org/10.1145/185084.185102},\n conference = {Workshop on Interface Definition Languages},\n pages = {46-58},\n text = {Workshop on Interface Definition Languages 1994:46-58},\n booktitle = {Proceedings of Workshop on Interface Definition Languages}\n}","bibbaseid":"freitag-margaria-steffen-apragmaticapproachtosoftwaresynthesis-1994","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/185084.185102"},"downloads":0},"search_terms":["pragmatic","approach","software","synthesis","freitag","margaria","steffen"],"keywords":[],"authorIDs":[],"dataSources":["MKgkE9vQpeRNQpNez"]}