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