A declarative debugger for Maude functional modules
Revue:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Année de publication: 2008
Pages: 53-70
Type: Communication dans un congrès