Verifiable programming
By: Ole-Johan Dahl.
Series: Prentice Hall international series in computer science
Publisher: Prentice Hall
Published: 1992
Place of publication: New York
Language: eng
Number of pages: 269
Subjects: Computer programs -- Verification.
Notes: Includes bibliographical references (p. 260-262) and index.