Towards a verification logic for rewriting logic
- Fiadeiro, J.L.
- Maibaum, T.
- Martí-Oliet, N.
- Meseguer, J.
- Pita, I.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540678984
Datum der Publikation: 2000
Ausgabe: 1827
Seiten: 438-458
Art: Konferenz-Beitrag
ISSN: 1611-3349, 0302-9743
ISBN: 9783540678984
Datum der Publikation: 2000
Ausgabe: 1827
Seiten: 438-458
Art: Konferenz-Beitrag