2007 | OriginalPaper | Chapter
Axiomatic Program Verification
Published in:
Semantics with Applications: An Appetizer
2007 | OriginalPaper | Chapter
Print ISBN: 978-1-84628-691-9
Electronic ISBN: 978-1-84628-692-6
Copyright Year: 2007
https://doi.org/10.1007/978-1-84628-692-6
Version: 0.1251.0