Abstract
This chapter will review the use of formal approaches in securing better quality software.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this chapter
Cite this chapter
Goldsack, S.J., Kent, S.J.H. (1996). Formality in Object Technology. In: Goldsack, S.J., Kent, S.J.H. (eds) Formal Methods and Object Technology. Formal Approaches to Computing and Information Technology. Springer, London. https://doi.org/10.1007/978-1-4471-3071-0_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3071-0_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19977-9
Online ISBN: 978-1-4471-3071-0
eBook Packages: Springer Book Archive