Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2007). Axiomatic Program Verification. In: Semantics with Applications: An Appetizer. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-84628-692-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-84628-692-6_9
Publisher Name: Springer, London
Print ISBN: 978-1-84628-691-9
Online ISBN: 978-1-84628-692-6
eBook Packages: Computer ScienceComputer Science (R0)