Declarative debugging of missing answers for Maude specifications

  1. Riesco, A.
  2. Verdejo, A.
  3. Martí-Oliet, N.
Aktak:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783939897187

Argitalpen urtea: 2010

Alea: 6

Orrialdeak: 277-294

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus