Person. Kimberly Diaz Iloilo State University of Fisheries Science and Technology Papers How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms ahmad-2023-howICSE · 2023 PDF · DOI · pldb