Biblio

Found 5 results
Filters: Author is Pat Fung  [Clear All Filters]
1999
J. Aczel, Fung, P., Bornat, R., Oliver, M., O'Shea, T., and Sufrin, B., “Computer science undergraduates learning logic using a proof editor: work in progress”, presented at the 01/1999, PPIG 1999 - 11th Annual Workshop, 1999.
T. Collins and Fung, P., “Evaluating Hank”, presented at the 01/1999, PPIG 1999 - 11th Annual Workshop, 1999.
1996
P. Fung, “Student modelling: some issues, some answers, but even more questions”, presented at the 09/1996, PPIG Student Workshop 1996, 1996.
1992
P. Fung, O'Shea, P., Bornat, R., Reeves, S., and Goldson, D., “Fear of Formal Reasoning”, presented at the 12/1992, PPIG 1992 - 5th Annual Workshop, 1992.
T. O'Shea, Fung, P., Bornat, R., Reeves, S., and Goldson, D., “Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods”, presented at the 01/1992, PPIG 1992 - 4th Annual Workshop, 1992.