Program verification using Ada
By: Andrew D. McGettrick.
Series: Cambridge computer science texts ;; 13
Publisher: Cambridge University Press
Published: 1982
Place of publication: Cambridge; New York
Language: eng
Number of pages: 345
Subjects: Computer programs -- Verification.; Ada (Computer program language)
Notes: Bibliography: p. 335-339.
Includes index.