Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide. Panel: Engage in Reasoning with Tools. 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 160-161, ACM, 2016. [doi]
Abstract is missing.