A natural implementation of plural semantics in maude

  1. Riesco, A.
  2. Rodríguez-Hortalá, J.
Journal:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Year of publication: 2010

Volume: 253

Issue: 7

Pages: 165-175

Type: Conference paper

DOI: 10.1016/J.ENTCS.2010.08.039 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus