Proving modal properties of rewrite theories using Maude's metalevel
ISSN: 1571-0661
Any de publicació: 2005
Volum: 137
Número: 1
Pàgines: 133-150
Tipus: Aportació congrés
ISSN: 1571-0661
Any de publicació: 2005
Volum: 137
Número: 1
Pàgines: 133-150
Tipus: Aportació congrés