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]
@inproceedings{BrownFW18,
title = {Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy},
author = {Laura E. Brown and Adam Feltz and Charles Wallace},
year = {2018},
doi = {10.1145/3197091.3197127},
url = {http://doi.acm.org/10.1145/3197091.3197127},
researchr = {https://researchr.org/publication/BrownFW18},
cites = {0},
citedby = {0},
pages = {135-140},
booktitle = {Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018},
editor = {Irene Polycarpou and Janet C. Read and Panayiotis Andreou and Michal Armoni},
publisher = {ACM},
}