TY  - BOOK
AU  - Kourie, Derrick G.
AU  - Watson, Bruce W.
TI  - The Correctness-by-Construction Approach to Programming
SN  - 9783642279195
UR  - http://dx.doi.org/10.1007/978-3-642-27919-5
ER  -