Laura E. Brown, Adam Feltz, Charles Wallace. Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy. In Irene Polycarpou, Janet C. Read, Panayiotis Andreou, Michal Armoni, editors, Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018. pages 135-140, ACM, 2018. [doi]
Abstract is missing.