The foundations of program verification
By: Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer.
Contributors: Sieber, Kurt.; Stansifer, Ryan D.
Edition: 2nd ed.
Series: Wiley-Teubner series in computer science
Publisher: B.G. Teubner; Wiley
Published: 1987
Place of publication: Stuttgart; Chichester [West Sussex]; New York
Language: eng
Number of pages: 230
Subjects: Computer programs -- Verification
Notes: Bibliography: p. 222-226.
Includes index.