A tutorial on specifying data structures in Maude
ISSN: 1571-0661
Year of publication: 2005
Volume: 137
Issue: 1
Pages: 105-132
Type: Conference paper
ISSN: 1571-0661
Year of publication: 2005
Volume: 137
Issue: 1
Pages: 105-132
Type: Conference paper