Author:
Krone Joan,Baldwin Doug,Carver Jeffrey C.,Hollingsworth Joseph E.,Kumar Amruth,Sitaraman Murali
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment;ACM Transactions on Computing Education;2015-09-28
2. Special session;Proceedings of the 45th ACM technical symposium on Computer science education;2014-03-05
3. An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering;Proceedings of the 45th ACM technical symposium on Computer science education;2014-03-05
4. Special session;Proceedings of the 45th ACM technical symposium on Computer science education;2014-03-05
5. Mathematical reasoning at the crossroads;ACM Inroads;2012-03