Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy.

Laura E. Brown, Adam Feltz, Charles Wallace

Browse the full ITiCSE paper archive.