An Empirical Study on Teaching Formal Methods to Millennials

Sorry, there's nothing here.

Cite this paper

@inproceedings{Catao2017AnES, title={An Empirical Study on Teaching Formal Methods to Millennials}, author={N{\'e}stor Cata{\~n}o}, booktitle={SECM@ICSE}, year={2017} }