'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods.

Katherine Braught, Yangge Li, Katherine Driggs-Campbell, Sayan Mitra

Browse the full ITiCSE paper archive.