External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Approximating Non-interference and Erasure in Rewriting Logic

Mauricio Alba-Castro, María Alpuente, Santiago Escobar. Approximating Non-interference and Erasure in Rewriting Logic. In Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010. pages 124-132, IEEE Computer Society, 2010. [doi]

Authors

Mauricio Alba-Castro

This author has not been identified. Look up 'Mauricio Alba-Castro' in Google

María Alpuente

This author has not been identified. It may be one of the following persons: Look up 'María Alpuente' in Google

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google
runs on