Mathematical reasoning at the crossroads
ACM Inroads
Engaging mathematical reasoning exercises
Proceeding of the 44th ACM technical symposium on Computer science education
An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering
Proceedings of the 45th ACM technical symposium on Computer science education
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE
Proceedings of the 45th ACM technical symposium on Computer science education
Special session: engaging mathematical reasoning exercises
Proceedings of the 45th ACM technical symposium on Computer science education
Hi-index | 0.00 |