Person. Amir Kamil University of Mosul · 0009-0005-8290-6969 Papers How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms ahmad-2023-howICSE · 2023 PDF · DOI · pldb