Executable structural operational semantics in Maude
ISSN: 1567-8326
Año de publicación: 2006
Volumen: 67
Número: 1-2
Páginas: 226-293
Tipo: Artículo
ISSN: 1567-8326
Año de publicación: 2006
Volumen: 67
Número: 1-2
Páginas: 226-293
Tipo: Artículo