TY  - BOOK
T1  - Program verification
A1  - Francez, Nissim
LA  - English
PP  - Cambridge
PB  - [S.n.]
YR  - 1992
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.52658
OP  - 312
SN  - 0201416085
KW  - PROGRAMACIÓN
KW  - VERIFICACIÓN DE PROGRAMAS
ER  -