Daniel Zingaro. Another approach for resisting student resistance to formal methods. ACM SIGCSE Bulletin, 40(4):56-57, 2008. [doi]
@article{Zingaro08,
title = {Another approach for resisting student resistance to formal methods},
author = {Daniel Zingaro},
year = {2008},
doi = {10.1145/1473195.1473220},
url = {http://doi.acm.org/10.1145/1473195.1473220},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Zingaro08},
cites = {0},
citedby = {0},
journal = {ACM SIGCSE Bulletin},
volume = {40},
number = {4},
pages = {56-57},
}