Program verification - Francez, Nissim (Cambridge : [S.n.], 1992)
On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.
Keywords: PROGRAMACIÓN; VERIFICACIÓN DE PROGRAMAS