Rewriting logic: Roadmap and bibliography
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 0304-3975
Ano de publicación: 2002
Volume: 285
Número: 2
Páxinas: 121-154
Tipo: Artigo
ISSN: 0304-3975
Ano de publicación: 2002
Volume: 285
Número: 2
Páxinas: 121-154
Tipo: Artigo