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