Prove and then execute

• Autores: José Luis Freire Nistal (1943-) , José Santiago Jorge Castro
• Localización: EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja / coord. por Julio Rubio García , 2001, ISBN 84-95301-52-0, págs. 202-206
• Idioma: inglés
• Texto completo no disponible (Saber más ...)