Volver atrás Publicación
Alba Castro Mauricio Fernando, Alpuente Frasnedo María, Escobar Román Santiago
2010
Approximating Non-interference and Erasure in Rewriting Logic