Anthony J. Cowling Stages in Teaching Formal Methods. 17-24 2010 CSEE&T https://doi.org/10.1109/CSEET.2010.19 https://doi.ieeecomputersociety.org/10.1109/CSEET.2010.19 conf/csee/2010 db/conf/csee/csee2010.html#Cowling10