Un modelo transformacional para el razonamiento sobre tipos abstractos de datos
- Fernández Iglesias, Manuel J.
- Llamas Nistal, Martín
- Burguillo Rial, Juan Carlos
- Anido Rifón, Luis E.
Publisher: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa
Year of publication: 1998
Pages: 65-72
Congress: Jornadas de Concurrencia (6. 1998. Pamplona)
Type: Conference paper