Jean-Baptiste Jeannin - CHASE 2023

Sun 14 - Mon 15 May 2023 Melbourne, Australia

co-located with ICSE 2023

Not registered as user yet

Name:Jean-Baptiste Jeannin

Country:United States

Affiliation:University of Michigan at Ann Arbor

Personal website: https://aero.engin.umich.edu/people/jean-baptiste-jeannin/

Contributions

2023

ICSE

How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms

Show activities from other conferences

ICSE 2023-profile
View general profile