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]
@inproceedings{Catano17,
title = {An Empirical Study on Teaching Formal Methods to Millennials},
author = {Néstor Cataño},
year = {2017},
doi = {10.1109/SECM.2017.1},
url = {https://doi.org/10.1109/SECM.2017.1},
researchr = {https://researchr.org/publication/Catano17},
cites = {0},
citedby = {0},
pages = {3-8},
booktitle = {1st IEEE/ACM International Workshop on Software Engineering Curricula for Millennials, SECM@ICSE 2017, Buenos Aires, Argentina, May 27, 2017},
publisher = {IEEE},
isbn = {978-1-5386-2795-2},
}