TY  - BOOK
AU  - Cardoso R.  Rodrigo
TI  - Verificación y Desarrollo de Programas
SN  - 958-9057-20-9                                     
U1  - 005.1 C268v 
CY  - Bogotá  Colombia : Ediciones Uniandes
ER  -