Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer. How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 208-220, IEEE, 2023. [doi]
Abstract is missing.