TY  - RPRT
TI  - Abstract Certification of Global Non-Interference in Rewriting Logic
AU  - Mauricio Alba-Castro
AU  - María Alpuente
AU  - Santiago Escobar
PY  - 2010
UR  - https://arxiv.org/abs/1006.4304
ID  - 1006.4304
ER  -