Declarative debugging of rewriting logic specifications

  1. Riesco, A.
  2. Verdejo, A.
  3. Martí-Oliet, N.
  4. Caballero, R.
Revista:
Journal of Logic and Algebraic Programming

ISSN: 1567-8326

Any de publicació: 2012

Volum: 81

Número: 7-8

Pàgines: 851-897

Tipus: Aportació congrés

DOI: 10.1016/J.JLAP.2011.06.004 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus