Program verification
By: Francez Nissim.
Publisher: Addison-Wesley Pub. Co.
Published: 1992
Place of publication: Wokingham, Eng; Reading, Mass
Language: eng
Number of pages: 312
Subjects: Computer software -- Verification.
Notes: Includes bibliographical references (p. 295-303) and index.