Cited By
View all- Johnstone AScott E(2018)Proofs and pedagogy; science and systemsScience of Computer Programming10.1016/j.scico.2007.01.01669:1-3(76-85)Online publication date: 31-Dec-2018
- Randell B(2004)Brief EncountersComputer Systems10.1007/0-387-21821-1_34(229-235)Online publication date: 2004