Specifying Implementations

  1. Lambán, L.
  2. Pascual, V.
  3. Rubie, J.
Actas:
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Año de publicación: 1999

Volumen: 1999-January

Páginas: 245-251

Tipo: Aportación congreso

DOI: 10.1145/309831.309947 GOOGLE SCHOLAR lock_openAcceso abierto editor