%0 Journal Article %1 journals/corr/abs-1006-4304 %A Alba-Castro, Mauricio %A Alpuente, María %A Escobar, Santiago %D 2010 %J CoRR %K dblp %T Abstract Certification of Global Non-Interference in Rewriting Logic %U http://dblp.uni-trier.de/db/journals/corr/corr1006.html#abs-1006-4304 %V abs/1006.4304

@article{journals/corr/abs-1006-4304, added-at = {2020-11-10T00:00:00.000+0100}, author = {Alba-Castro, Mauricio and Alpuente, María and Escobar, Santiago}, biburl = {https://www.bibsonomy.org/bibtex/2bcfb2be60907229feeab280e76102f09/dblp}, ee = {http://arxiv.org/abs/1006.4304}, interhash = {acb7cd08f423335e04b14d41a74db2f0}, intrahash = {bcfb2be60907229feeab280e76102f09}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-11-11T11:35:11.000+0100}, title = {Abstract Certification of Global Non-Interference in Rewriting Logic}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1006.html#abs-1006-4304}, volume = {abs/1006.4304}, year = 2010 }