Jean-Baptiste Jeannin - ICSE 2023

Write a Blog >>

Sun 14 - Sat 20 May 2023 Melbourne, Australia

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