Un modelo transformacional para el razonamiento sobre tipos abstractos de datos

• Autores: Manuel J. Fernández Iglesias, Martín Llamas Nistal, Juan Carlos Burguillo Rial, Luis E. Anido Rifón
• Localización: VI Jornadas de Concurrencia, 1998, págs. 65-72
• Idioma: español
• Texto completo no disponible (Saber más ...)