Publicaciones

1 publicación

Publicaciones de Analyzing rule-based behavioral semantics of visual modeling languages with Maude

[1 LNCS]

LNCS