APA (7th ed.) Citation

Kourie, D. G. (2012). The Correctness-by-construction approach to programming. Springer. https://doi.org/10.1007/978-3-642-27919-5

Chicago Style (17th ed.) Citation

Kourie, Derrick G. The Correctness-by-construction Approach to Programming. Heidelberg [u.a.]: Springer, 2012. https://doi.org/10.1007/978-3-642-27919-5.

MLA (9th ed.) Citation

Kourie, Derrick G. The Correctness-by-construction Approach to Programming. Springer, 2012. https://doi.org/10.1007/978-3-642-27919-5.