Francez, Nissim, 1944- Program verification / Francez Nissim. - Wokingham, England : Addison-Wesley, 1992. - xi, 312 p. : il. ; 24 cm. ISBN: 0201416085 Descriptores--Materias: Program verification.Verificación de programas.