The foundations of program verification /

Bibliographic Details
Main Author:	Loeckx, Jacques, 1931-
Other Authors:	Sieber, Kurt, Stansifer, Ryan D.
Format:	Book
Language:	English
Published:	Stuttgart : Chichester [West Sussex] ; New York : B.G. Teubner ; Wiley, [1987]
Edition:	2nd ed.
Series:	Applicable theory in computer science.
Subjects:	Computer programs > Verification.