Specifying Implementations
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