Executable structural operational semantics in Maude
ISSN: 1567-8326
Any de publicació: 2006
Volum: 67
Número: 1-2
Pàgines: 226-293
Tipus: Article
ISSN: 1567-8326
Any de publicació: 2006
Volum: 67
Número: 1-2
Pàgines: 226-293
Tipus: Article