Publicaciones en colaboración con investigadores/as de Universidad Autónoma de Madrid (1)

2017

  1. A Maude environment for CafeOBJ

    Formal Aspects of Computing, Vol. 29, Núm. 2, pp. 309-334