(2009). An elementary and unified approach to program correctness.
Chicago Style (17th ed.) CitationAn Elementary and Unified Approach to Program Correctness. 2009.
MLA (8th ed.) CitationAn Elementary and Unified Approach to Program Correctness. 2009.
Warning: These citations may not always be 100% accurate.