An introduction to formal program verification

An introduction to formal program verification

Bibliographic Details
Main Author: Mili, Ali
Format: Book
Language:English
Published: New York Van Nostrand Reinhold c1985.
Subjects:
Computer programs > Verification.