Michael Hartwig. On the Relationship between Proof Writing and Programming: Some Conclusions for Teaching Future Software Developers. In Jasni Mohamad Zain, Wan Maseri Binti Wan Mohd, Eyas El-Qawasmeh, editors, Software Engineering and Computer Systems - Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III. Volume 181 of Communications in Computer and Information Science, pages 15-24, Springer, 2011. [doi]
Abstract is missing.