A verification logic for rewriting logic

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

ISSN: 0955-792X

Año de publicación: 2005

Volumen: 15

Número: 3

Páginas: 317-352

Tipo: Artículo

DOI: 10.1093/LOGCOM/EXI015 GOOGLE SCHOLAR
Fuente de los datos: Scopus