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.
Editorial: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa
Any de publicació: 1998
Pàgines: 65-72
Congrés: Jornadas de Concurrencia (6. 1998. Pamplona)
Tipus: Aportació congrés