A Pragmatic Approach to Software Synthesis. Freitag, B., Margaria, T., & Steffen, B. In Proceedings of Workshop on Interface Definition Languages, pages 46-58, 1994. Paper bibtex @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}
}
Downloads: 0
{"_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"]}