Publicaciones en colaboración con investigadores/as de Universidad de Zaragoza (1)

1999

  1. Specifying Implementations

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC