Rewriting Logic as a Logical and Semantic Framework This paper is a short version of [36], where the reader can find more examples and details not discussed here.
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 1571-0661
Year of publication: 1996
Volume: 4
Issue: C
Pages: 190-225
Type: Article