An introduction to formal program verification - Mili, Ali. (New York : Van Nostrand Reinhold Co., 1985)
Includes bibliographies and index.
Mode of access: Internet.
Keywords: Computer programs -- Verification