Prove and then execute
- Freire Nistal, José Luis
- Jorge Castro, José Santiago
- Rubio García, Julio (coord.)
Editorial: Departamento de Matemáticas y Computación ; Universidad de La Rioja
ISBN: 84-95301-52-0
Año de publicación: 2001
Páginas: 202-206
Congreso: Encuentro de Álgebra Computacional y Aplicaciones (7. 2001. Ezcaray)
Tipo: Aportación congreso