Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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

Attention : ces citations peuvent ne pas être correctes à 100%.