Metalevel computation in maude
- Clavel, M.
- Duran, F.
- Eker, S.
- Lincoln, P.
- Marti-Oliet, N.
- Meseguer, J.
ISSN: 1571-0661
Datum der Publikation: 1998
Ausgabe: 15
Seiten: 331-352
Art: Konferenz-Beitrag
ISSN: 1571-0661
Datum der Publikation: 1998
Ausgabe: 15
Seiten: 331-352
Art: Konferenz-Beitrag