A verification logic for rewriting logic

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

ISSN: 0955-792X

Argitalpen urtea: 2005

Alea: 15

Zenbakia: 3

Orrialdeak: 317-352

Mota: Artikulua

DOI: 10.1093/LOGCOM/EXI015 GOOGLE SCHOLAR
Datuen iturria: Scopus