A declarative debugger for Maude functional modules
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Año de publicación: 2008
Páginas: 53-70
Tipo: Aportación congreso