Publisher
Springer International Publishing
Reference26 articles.
1. Bayley, I., Lightfoot, D., Martin, C.: Teaching the Oxford Brookes formal specification module. In: Teaching Formal Methods, p. 5 (2006)
2. Blanco, J., Losano, L., Aguirre, N., Novaira, M.M., Permigiani, S., Scilingo, G.: An introductory course on programming based on formal specification and program calculation. SIGCSE Bull. 41(2), 31–37 (2009). https://doi.org/10.1145/1595453.1595459
3. Boute, R.: Teaching and practicing computer science at the university level. SIGCSE Bull. 41(2), 24–30 (2009). https://doi.org/10.1145/1595453.1595458
4. Brakman, H., Driessen, V., Kavuma, J., Bijvank, L.N., Vermolen, S.: Supporting formal method teaching with real-life protocols. In: Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education, pp. 59–68 (2006)
5. Catano, N.: An empirical study on teaching formal methods to millennials. In: 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials (SECM), pp. 3–8. IEEE, Buenos Aires, Argentina (2017). https://doi.org/10.1109/SECM.2017.1
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献