APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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