TY  - BOOK
AU  - Díaz de Ilarraza Sánchez,Arantza
AU  - Lucio Carrasco,Francisca
ED  - Universidad del País Vasco
TI  - Verificación de programas y metodología de la programación / 
SN  - 84-7585-266-1
PY  - 1990///
CY  - Bilbao : 
PB  - Universidad del País Vasco, 
KW  - Programación de ordenadores
ER  -