Francez, Nissim, 1944-

Program verification / Francez Nissim. - Wokingham, England : Addison-Wesley, 1992. - xi, 312 p. : il. ; 24 cm.

0201416085


Program verification.
Verificación de programas.