%0 Journal Article %1 journals/scp/CamachoMBV10 %A Camacho, Diego Ordóñez %A Mens, Kim %A van den Brand, Mark %A Vinju, Jurgen J. %D 2010 %J Sci. Comput. Program. %K dblp %N 1-2 %P 3-20 %T Automated generation of program translation and verification tools using annotated grammars. %U http://dblp.uni-trier.de/db/journals/scp/scp75.html#CamachoMBV10 %V 75

@article{journals/scp/CamachoMBV10, added-at = {2022-10-02T00:00:00.000+0200}, author = {Camacho, Diego Ordóñez and Mens, Kim and van den Brand, Mark and Vinju, Jurgen J.}, biburl = {https://www.bibsonomy.org/bibtex/22de0ecbf0d08f28089172c9cb15af530/dblp}, ee = {https://doi.org/10.1016/j.scico.2009.10.003}, interhash = {c1a417b338d718ea4010c3ae6edd6c90}, intrahash = {2de0ecbf0d08f28089172c9cb15af530}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {1-2}, pages = {3-20}, timestamp = {2024-04-09T05:29:21.000+0200}, title = {Automated generation of program translation and verification tools using annotated grammars.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp75.html#CamachoMBV10}, volume = 75, year = 2010 }