Cita APA (7a ed.)

(2012). The correctness-by-construction approach to programming / Derrick G. Kourie, Bruce W. Watson.

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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

Precaución: Estas citas no son 100% exactas.