David Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere. Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. In Michail N. Giannakos, Guttorm Sindre, Andrew Luxton-Reilly, Monica Divitini, editors, Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020. pages 61-67, ACM, 2020. [doi]
Abstract is missing.