{"_id":"4Z2FNigvn7nzJyavz","bibbaseid":"margaria-braun-formalmethodsandcustomizedvisualizationafruitfulsymbiosis-1998","downloads":0,"creationDate":"2015-12-04T23:16:19.549Z","title":"Formal Methods and Customized Visualization: A Fruitful Symbiosis","author_short":["Margaria, T.","Braun, V."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/MargariaB98","bibdata":{"title":"Formal Methods and Customized Visualization: A Fruitful Symbiosis","author":["Tiziana Margaria","Volker Braun"],"author_short":["Margaria, T.","Braun, V."],"bibtype":"inproceedings","type":"inproceedings","year":"1998","key":"dblp4395728","id":"dblp4395728","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/MargariaB98","url":"http://dx.doi.org/10.1007/BFb0053506","conference":"Services and Visualization: Towards User-Friendly Design","pages":"190-207","text":"Services and Visualization: Towards User-Friendly Design 1998:190-207","booktitle":"Proceedings of Services and Visualization: Towards User-Friendly Design","bibtex":"@inproceedings{ dblp4395728,\n title = {Formal Methods and Customized Visualization: A Fruitful Symbiosis},\n author = {Tiziana Margaria and Volker Braun},\n author_short = {Margaria, T. and Braun, V.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1998},\n key = {dblp4395728},\n id = {dblp4395728},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/MargariaB98},\n url = {http://dx.doi.org/10.1007/BFb0053506},\n conference = {Services and Visualization: Towards User-Friendly Design},\n pages = {190-207},\n text = {Services and Visualization: Towards User-Friendly Design 1998:190-207},\n booktitle = {Proceedings of Services and Visualization: Towards User-Friendly Design}\n}","bibbaseid":"margaria-braun-formalmethodsandcustomizedvisualizationafruitfulsymbiosis-1998","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0053506"},"downloads":0},"search_terms":["formal","methods","customized","visualization","fruitful","symbiosis","margaria","braun"],"keywords":[],"authorIDs":[],"dataSources":["2LTGAmQ5CghLMohaA"]}