Abstract
This chapter gives a brief survey of the issues of specification and correctness of programs. Other works referenced in section 12.7 deal with the subject in greater depth.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Copyright information
© 1986 Tim Denvir
About this chapter
Cite this chapter
Denvir, T. (1986). Specification and Correctness of Programs. In: Introduction to Discrete Mathematics for Software Engineering. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-18496-5_12
Download citation
DOI: https://doi.org/10.1007/978-1-349-18496-5_12
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-40737-0
Online ISBN: 978-1-349-18496-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)