@inproceedings{ahmad-2023-how, title={How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms}, url={http://dx.doi.org/10.1109/icse48619.2023.00029}, DOI={10.1109/icse48619.2023.00029}, booktitle={2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)}, publisher={IEEE}, author={Ahmad, Hammad and Karas, Zachary and Diaz, Kimberly and Kamil, Amir and Jeannin, Jean-Baptiste and Weimer, Westley}, year={2023}, month=May, pages={208–220} }