John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman. Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). In Carl Alphonce, Jodi Tims, Michael E. Caspersen, Stephen Edwards, editors, Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02 - 05, 2016. pages 707, ACM, 2016. [doi]
Abstract is missing.