Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Crowcroft, J.: On the nature of computing. Communications of the ACM 48(2), 19–20 (2005)
2. Calude, C., Calude, E., Marcus, S.: Passages of Proof. Bulletin of the EATCS 84, 167–188 (2004)
3. Friske, M.: Teaching Proofs: A Lesson from Software Engineering. The American Mathematical Monthly 92, 142–144 (1985)
4. Daly, C., Waldron, J.: Introductory Programming, Problem Solving and Computer Assisted Assessment (2002)
5. Calude, C., Calude, E., Marcus, S.: Proving and Programming. CDMTCS Research Report Series 06 (2007)