Proving modal properties of rewrite theories using Maude's metalevel
ISSN: 1571-0661
Ano de publicación: 2005
Volume: 137
Número: 1
Páxinas: 133-150
Tipo: Achega congreso
ISSN: 1571-0661
Ano de publicación: 2005
Volume: 137
Número: 1
Páxinas: 133-150
Tipo: Achega congreso