2007 | OriginalPaper | Chapter
Axiomatic Program Verification
Published in:
Semantics with Applications: An Appetizer
Hint
Swipe to navigate through the chapters of this book
Please log in to get access to this content
To get access to this content you need the following product:
- Title
- Axiomatic Program Verification
- DOI
- https://doi.org/10.1007/978-1-84628-692-6_9
- Publisher
- Springer London
- Sequence number
- 9
- Chapter number
- 9