Author:
Heym Wayne,Sivilotti Paolo A.G.,Bucci Paolo,Sitaraman Murali,Plis Kevin,Hollingsworth Joseph E.,Krone Joan,Sridhar Nigamanth
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Network Visualization and Assessment of Student Reasoning About Conditionals;Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1;2022-07-07
2. Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum;Informatics in Education;2021-12-11
3. F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails;Electronic Proceedings in Theoretical Computer Science;2021-11-16
4. Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties;Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1;2021-06-26
5. Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions;Proceedings of the 4th European Conference on Software Engineering Education;2020-06