Publikationen in Zusammenarbeit mit Forschern von Universidad de Zaragoza (1)

1999

  1. Specifying Implementations

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