Publisher
Springer Nature Switzerland
Reference28 articles.
1. Astrachan, O.: Pictures as invariants. In: Proceedings of the Twenty-Second SIGCSE Technical Symposium on Computer Science Education, pp. 112–118 (1991)
2. Lecture Notes in Computer Science;R-J Back,2006
3. Back, R.J.: Invariant based programming: basic approach and teaching experiences. Form. Asp. Comput. 21(3), 227–244 (2009). https://doi.org/10.1007/s00165-008-0070-y
4. Back, R.J., Eriksson, J., Mannila, L.: Teaching the construction of correct programs using invariant based programming. In: Proceedings of the 3rd South-East European Workshop on Formal Methods (SEEFM) (2007)
5. Ben-David Kolikant, Y., Mussai, M.: “So my program doesn’t run!’’ Definition, origins, and practical expressions of students’ (mis)conceptions of correctness. Comput. Sci. Educ. 18(2), 135–151 (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献