An Introduction to Formal Program Verification - Mili, Ali (New York : Van Nostrand Reinhold Company Inc, 1985)
Index
Keywords: Computer programs -- Verification