Thibault Dardinier - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Mon 12 Sep 2022

Name:Thibault Dardinier

Country:Switzerland

Affiliation:ETH Zurich

Personal website: https://dardinier.me

Contributions

2024

SPLASH

Hypra: A Deductive Program Verifier for Hyper Hoare Logic

Show activities from other conferences

SPLASH 2024-profile
View general profile