%0 Journal Article %1 journals/jucs/ClevaP06 %A Cleva, José Miguel %A Pita, Isabel %D 2006 %J J. Univers. Comput. Sci. %K dblp %N 11 %P 1594-1617 %T Verification of CRWL Programs with Rewriting Logic. %U http://dblp.uni-trier.de/db/journals/jucs/jucs12.html#ClevaP06 %V 12

@article{journals/jucs/ClevaP06, added-at = {2023-09-07T00:00:00.000+0200}, author = {Cleva, José Miguel and Pita, Isabel}, biburl = {https://www.bibsonomy.org/bibtex/2ab046c9df5d58f02360f7c3a449de123/dblp}, ee = {https://doi.org/10.3217/jucs-012-11-1594}, interhash = {6db464509c36ed1bc5ac5f967e08ede1}, intrahash = {ab046c9df5d58f02360f7c3a449de123}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 11, pages = {1594-1617}, timestamp = {2024-04-08T15:57:41.000+0200}, title = {Verification of CRWL Programs with Rewriting Logic.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs12.html#ClevaP06}, volume = 12, year = 2006 }