Embedding domain-specific modeling languages into Maude specifications

Vlad Rusu. Embedding domain-specific modeling languages into Maude specifications. Software and Systems Modeling, , 2012.

Possibly Related Publications

The following publications are possibly variants of this publication: