foundations of program verification
By: Jacques Loeckx and Kurt Seiber ; in collaboration with Ryan D. Stansifer.
Contributors: Sieber, Kurt.; Stansifer, Ryan D.
Edition: 2nd ed.
Series: Wiley-Teubner series in computer science
Publisher: Teubner; Wiley
Published: 1987
Place of publication: Stuttgart; Chichester
Language: eng
Number of pages: 230
Subjects: Computer programs -- Verification.
Notes: Previous ed., 1984.

Includes index.