ahmad-2023-how:
  type: article
  title: How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms
  author:
  - Ahmad, Hammad
  - Karas, Zachary
  - Diaz, Kimberly
  - Kamil, Amir
  - Jeannin, Jean-Baptiste
  - Weimer, Westley
  date: 2023-05
  page-range: 208-220
  url: http://dx.doi.org/10.1109/icse48619.2023.00029
  serial-number:
    doi: 10.1109/icse48619.2023.00029
  parent:
    type: proceedings
    title: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
    publisher: IEEE