Proving modal properties of rewrite theories using Maude's metalevel
ISSN: 1571-0661
Année de publication: 2005
Volumen: 137
Número: 1
Pages: 133-150
Type: Communication dans un congrès
ISSN: 1571-0661
Année de publication: 2005
Volumen: 137
Número: 1
Pages: 133-150
Type: Communication dans un congrès