Drachova, S. V., Hallstrom, J. O., Hollingsworth, J. E.,
Krone, J., Pak, R., and Sitaraman, M.: Teaching Mathematical Reasoning Principles for
Software Correctness and Its Assessment. ACM Trans. Computing Education 15, 3, Article 15 (August 2015), 22 pages.
[INFO]
Cook, C. T., Drachova-Strang, S. V., Sun, Y., Sitaraman, M., Carver, J. C., and Hollingsworth, J. E.:
Specification and Reasoning in SE Projects using a Web IDE. IEEE Computer Society. CSEET 2013.
[PDF]
Hallstrom, J. O., Hollingsworth, J. E., Krone, J., and Sitaraman, M.: Making mathematical reasoning fun: web-integrated,
collaborative, and "Hands-On" Techniques (abstract only). SIGCSE 2013: 757.
[INFO]
Hollingsworth, J. E., Krone, J., Hallstrom, J. O., Sitaraman, M., and Weide, B. W.: Engaging mathematical reasoning exercises.
SIGCSE 2013: 459-460.
[INFO]
Cook, C. T., Drachova-Strang, S., Hallstrom, J. O., Hollingsworth, J. E., Jacobs, D. P., Krone, J., and Sitaraman, M.:
A systematic approach to teaching abstraction and mathematical modeling. ITiCSE 2012: 357-362.
[INFO]