Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods

Tim O'Shea; Pat Fung; Richard Bornat; S. Reeves; D. Goldson
Type of Publication: Paper
Conference: PPIG 1992 - 4th Annual Workshop
Publication Year: 1992
Paper #: 4
TitleProgramming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods
Publication TypePaper
AuthorsO'Shea, T, Fung, P, Bornat, R, Reeves, S, Goldson, D
PPIG Workshop: 
1992-01-4th