Conference
Using Maude.
Authors
Clavel M; Durán F; Eker S; Lincoln P; Martí-Oliet N; Meseguer J; Quesada JF
Editors
Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
1783
Pagination
pp. 371-374
Publisher
Springer
Publication Date
2000
ISBN-10
3-540-67261-3
Conference proceedings
FASE