The Correctness-by-Construction Approach to Programming

MLA

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

APA

Kourie, D. G, & Watson, B. W. (2012). The Correctness-by-Construction Approach to Programming. Springer-Verlag Berlin Heidelberg.

Chicago

Kourie, Derrick G., and Bruce W Watson. The Correctness-By-Construction Approach to Programming. : Springer-Verlag Berlin Heidelberg, 2012.