Prove and then execute
- Freire Nistal, José Luis
- Jorge Castro, José Santiago
- Rubio García, Julio (coord.)
Publisher: Departamento de Matemáticas y Computación ; Universidad de La Rioja
ISBN: 84-95301-52-0
Year of publication: 2001
Pages: 202-206
Congress: Encuentro de Álgebra Computacional y Aplicaciones (7. 2001. Ezcaray)
Type: Conference paper