An Empirical Study on Teaching Formal Methods to Millennials

Néstor Cataño. An Empirical Study on Teaching Formal Methods to Millennials. In 1st IEEE/ACM International Workshop on Software Engineering Curricula for Millennials, SECM@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. pages 3-8, IEEE, 2017. [doi]