TY  - BOOK
AU  - Francez,Nissim
TI  - Program verification
SN  - 0201416085
PY  - 1992///
CY  - Cambridge
PB  - [S.n.]
KW  - PROGRAMACIÓN
KW  - VERIFICACIÓN DE PROGRAMAS
N1  -  On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs
ER  -