(2012). The correctness-by-construction approach to programming / Derrick G. Kourie, Bruce W. Watson.
Cita Chicago (17th ed.)The Correctness-by-construction Approach to Programming / Derrick G. Kourie, Bruce W. Watson. 2012.
Cita MLA (9th ed.)The Correctness-by-construction Approach to Programming / Derrick G. Kourie, Bruce W. Watson. 2012.
Atenció: Aquestes cites poden no estar 100% correctes.