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 [Germany] : Chichester ; New York : B.G. Teubner ; Wiley, [1984]
Series:	Applicable theory in computer science.
Subjects:	Computer programs > Verification.

Remote Storage