Empirical results of a software engineering curriculum incorporating formal methods
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Math proficiency: a key to success for computer science students
Communications of the ACM
Contributing to success in an introductory computer science course: a study of twelve factors
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
The effect of student attributes on success in programming
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Viewpoint: the real reason why software engineers need math
Communications of the ACM
Applying Formal Specification in Industry
IEEE Software
Hi-index | 0.00 |
First Page of the Article