APA (7th ed.) Citation

Kourie, D. G., & Watson, B. W. (2012). The Correctness-by-construction approach to programming. Springer.

Chicago Style (17th ed.) Citation

Kourie, Derrick G., and Bruce W. Watson. The Correctness-by-construction Approach to Programming. Heidelberg [u.a.]: Springer, 2012.

MLA (9th ed.) Citation

Kourie, Derrick G., and Bruce W. Watson. The Correctness-by-construction Approach to Programming. Springer, 2012.