Jean-Baptiste Jeannin - PLDI 2023

Sat 17 - Wed 21 June 2023 Orlando, Florida, United States

Not registered as user

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

CRSSC

Formal Verification in Scientific Computing

Show activities from other conferences

PLDI 2023-profile
View general profile