%0 Conference Paper %1 conf/tapsoft/KieburtzBBHLOSWZ95 %A Kieburtz, Richard B. %A Bellegarde, Françoise %A Bell, Jeffrey M. %A Hook, James %A Lewis, Jeffrey %A Oliva, Dino %A Sheard, Tim %A Walton, Lisa %A Zhou, Tong %B TAPSOFT %D 1995 %E Mosses, Peter D. %E Nielsen, Mogens %E Schwartzbach, Michael I. %I Springer %K dblp %P 546-560 %T Calculating Software Generators from Solution Specifications. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft95.html#KieburtzBBHLOSWZ95 %V 915 %@ 3-540-59293-8

@inproceedings{conf/tapsoft/KieburtzBBHLOSWZ95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kieburtz, Richard B. and Bellegarde, Françoise and Bell, Jeffrey M. and Hook, James and Lewis, Jeffrey and Oliva, Dino and Sheard, Tim and Walton, Lisa and Zhou, Tong}, biburl = {https://www.bibsonomy.org/bibtex/28d2c89c3e8ee3361de41883b93d53542/dblp}, booktitle = {TAPSOFT}, crossref = {conf/tapsoft/1995}, editor = {Mosses, Peter D. and Nielsen, Mogens and Schwartzbach, Michael I.}, ee = {https://doi.org/10.1007/3-540-59293-8_219}, interhash = {7ed7d30c4ac418913b2fb9d60e91ba92}, intrahash = {8d2c89c3e8ee3361de41883b93d53542}, isbn = {3-540-59293-8}, keywords = {dblp}, pages = {546-560}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:25:52.000+0200}, title = {Calculating Software Generators from Solution Specifications.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft95.html#KieburtzBBHLOSWZ95}, volume = 915, year = 1995 }