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: Teubner; Wiley
Published: 1984
Place of publication: Stuttgart; Chichester
Language: eng
Number of pages: 230
Subjects: Computer programs -- Verification.
Notes: Bibliography, p222-226. - Includes index.