Axiomatic system for program correctness
β
L. V. Chernobrod
π
Article
π
1984
π
Springer US
π
English
β 978 KB