A tutorial on specifying data structures in Maude
ISSN: 1571-0661
Año de publicación: 2005
Volumen: 137
Número: 1
Páginas: 105-132
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2005
Volumen: 137
Número: 1
Páginas: 105-132
Tipo: Aportación congreso