Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment

Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Rich Pak, Murali Sitaraman. Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Journal of Educational Resources in Computing, 15(3):15, 2015. [doi]

Abstract

Abstract is missing.