Publicaciones

1 publicación

Publicaciones de A Maude coherence checker tool for conditional order-sorted rewrite theories

[1 LNCS]

LNCS