TY  - BOOK
AU  - Forero h, Rafael h
AU  - Wanumen, Luis Felipe ; dir 
TI  - Framework para la verificación formal de programas -especificación y corrección : 
U1  - TI BT/7123/410/2013/CD-ROM 
PY  - 2013///
N1  - Referencia
UR  - https://drive.google.com/file/d/1jjmk0enPFlpUm5a4NAt78wjDN1bTo1TX/view?usp=drive_link
ER  -