A verification logic for rewriting logic

  1. Martí-Oliet, N.
  2. Pita, I.
  3. Fiadeiro, J.L.
  4. Meseguer, J.
  5. Maibaum, T.
Zeitschrift:
Journal of Logic and Computation

ISSN: 0955-792X

Datum der Publikation: 2005

Ausgabe: 15

Nummer: 3

Seiten: 317-352

Art: Artikel

DOI: 10.1093/LOGCOM/EXI015 GOOGLE SCHOLAR
Datenquelle: Scopus