A verification logic for rewriting logic

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

ISSN: 0955-792X

Year of publication: 2005

Volume: 15

Issue: 3

Pages: 317-352

Type: Article

DOI: 10.1093/LOGCOM/EXI015 GOOGLE SCHOLAR
Data source: Scopus