Ahmad, Hammad, Karas, Zachary, Diaz, Kimberly, Kamil, Amir, Jeannin, Jean-Baptiste, and Weimer, Westley. How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. Retrieved from https://par.nsf.gov/biblio/10450300. 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . Web. doi:10.1109/ICSE48619.2023.00029.

Ahmad, Hammad, Karas, Zachary, Diaz, Kimberly, Kamil, Amir, Jeannin, Jean-Baptiste, & Weimer, Westley. How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), (). Retrieved from https://par.nsf.gov/biblio/10450300. https://doi.org/10.1109/ICSE48619.2023.00029

Ahmad, Hammad, Karas, Zachary, Diaz, Kimberly, Kamil, Amir, Jeannin, Jean-Baptiste, and Weimer, Westley. "How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms". 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (). Country unknown/Code not available. https://doi.org/10.1109/ICSE48619.2023.00029. https://par.nsf.gov/biblio/10450300.

@article{osti_10450300,
place = {Country unknown/Code not available}, title = {How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms}, url = {https://par.nsf.gov/biblio/10450300}, DOI = {10.1109/ICSE48619.2023.00029}, abstractNote = {}, journal = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)}, author = {Ahmad, Hammad and Karas, Zachary and Diaz, Kimberly and Kamil, Amir and Jeannin, Jean-Baptiste and Weimer, Westley}, }