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
Año de publicación: 1996
Volumen: 4
Número: C
Páginas: 190-225
Tipo: Artículo