Rewriting logic: Roadmap and bibliography
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 0304-3975
Année de publication: 2002
Volumen: 285
Número: 2
Pages: 121-154
Type: Article
ISSN: 0304-3975
Année de publication: 2002
Volumen: 285
Número: 2
Pages: 121-154
Type: Article