The Foundations of program verification - Loeckx, J. J. C. (Jacques J. C.).); Sieber, Kurt.; Stansifer, Ryan D. (Stuttgart [Germany] : B.G. Teubner ; Chichester ; New York : Wiley, 1984)
Includes index.
Bibliography: p. 222-226.
All age.
Keywords: Computer programs -- Verification; Logiciels -- Vérification.