Díaz de Ilarraza Sánchez, Arantza. Verificación de programas y metodología de la programación / Arantza Díaz de Ilarraza Sánchez, Francisca Lucio Carrasco. - Bilbao : Universidad del País Vasco, D.L. 1990. - 199 p. ; 24 cm. ISBN: 84-7585-266-1 Subjects--Topical Terms: Programación de ordenadores. Universal Decimal Class. No.: 621-52