| Reflections on Teaching Formal Methods for Software Development in Higher Education. | 0 | 0.34 | 2019 |
| Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education. | 0 | 0.34 | 2019 |
| Towards Code Review Guideline in a Classroom. | 0 | 0.34 | 2019 |
| Hackathons as a Part of Software Engineering Education - CASE in Tools Example. | 0 | 0.34 | 2019 |
| Teaching Programming and Design-by-Contract. | 1 | 0.37 | 2017 |
| Usability of AutoProof: a case study of software verification. | 0 | 0.34 | 2016 |
