A tutorial on specifying data structures in Maude
ISSN: 1571-0661
Any de publicació: 2005
Volum: 137
Número: 1
Pàgines: 105-132
Tipus: Aportació congrés
ISSN: 1571-0661
Any de publicació: 2005
Volum: 137
Número: 1
Pàgines: 105-132
Tipus: Aportació congrés