Executable structural operational semantics in Maude
ISSN: 1567-8326
Année de publication: 2006
Volumen: 67
Número: 1-2
Pages: 226-293
Type: Article
ISSN: 1567-8326
Année de publication: 2006
Volumen: 67
Número: 1-2
Pages: 226-293
Type: Article