Publicaciones

1 publicación

Publicaciones de A Church-Rosser checker tools for conditional order-sorted equational Maude specifications

[1 LNCS]

LNCS