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
Any de publicació: 1996
Volum: 4
Número: C
Pàgines: 190-225
Tipus: Article