%0 Journal Article %1 reeves_08_generic %A Reeves, Steve %A Streader, David %C Amsterdam, The Netherlands, The Netherlands %D 2008 %I Elsevier Science Publishers B. V. %J Electron. Notes Theor. Comput. Sci. %K 2008 refinement \_pdf %P 187--202 %R http://dx.doi.org/10.1016/j.entcs.2008.03.093 %T Generic Tools via General Refinement %U http://dx.doi.org/10.1016/j.entcs.2008.03.093 %V 207

@article{reeves_08_generic, added-at = {2009-03-10T04:33:06.000+0100}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Reeves, Steve and Streader, David}, biburl = {https://www.bibsonomy.org/bibtex/2cdd60894152667c73a78782a97981834/leonardo}, citeulike-article-id = {2770407}, doi = {http://dx.doi.org/10.1016/j.entcs.2008.03.093}, interhash = {3c249bf3b196b8236bdc81d2ffad23f3}, intrahash = {cdd60894152667c73a78782a97981834}, issn = {1571-0661}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {2008 refinement \_pdf}, pages = {187--202}, posted-at = {2008-05-08 10:14:50}, priority = {4}, publisher = {Elsevier Science Publishers B. V.}, timestamp = {2009-03-10T04:33:06.000+0100}, title = {Generic Tools via General Refinement}, url = {http://dx.doi.org/10.1016/j.entcs.2008.03.093}, volume = 207, year = 2008 }