A verification logic for rewriting logic

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

ISSN: 0955-792X

Année de publication: 2005

Volumen: 15

Número: 3

Pages: 317-352

Type: Article

DOI: 10.1093/LOGCOM/EXI015 GOOGLE SCHOLAR
La source de données: Scopus