Author:
Cook Charles T.,Drachova-Strang Svetlana V.,Yu-Shan Sun ,Sitaraman Murali,Carver Jeffrey C.,Hollingsworth Joseph
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum;Informatics in Education;2021-12-11
2. F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails;Electronic Proceedings in Theoretical Computer Science;2021-11-16
3. Where exactly are the difficulties in reasoning logically about code? experimentation with an online system;Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education;2018-07-02
4. Harmonik = ++(Web IDE);Procedia Computer Science;2017
5. Tool-Assisted Loop Invariant Development and Analysis;2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET);2016-04