An introduction to formal program verification
By: Ali Mili.
Publisher: Van Nostrand Reinhold Co.
Published: 1985
Place of publication: New York
Language: eng
Number of pages: 291
Subjects: Computer programs -- Verification.
Notes: Includes bibliographies and index.