Rewriting logic: Roadmap and bibliography
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 0304-3975
Datum der Publikation: 2002
Ausgabe: 285
Nummer: 2
Seiten: 121-154
Art: Artikel
ISSN: 0304-3975
Datum der Publikation: 2002
Ausgabe: 285
Nummer: 2
Seiten: 121-154
Art: Artikel