Specifying Implementations

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

Année de publication: 1999

Volumen: 1999-January

Pages: 245-251

Type: Communication dans un congrès

DOI: 10.1145/309831.309947 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus