"An Empirical Study on Teaching Formal Methods to Millennials."

Néstor Cataño (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics