Publicaciones

1 publicación

Publicaciones de Towards a rewriting logic semantics for ATL

[1 LNCS]

LNCS