SPLASH 2023 (series) / Thibault Dardinier
Registered user since Mon 12 Sep 2022
Name:Thibault Dardinier
Country:Switzerland
Affiliation:ETH Zurich
Personal website:https://dardinier.me
Contributions
| SPLASH 2023 | Verification-Preserving Inlining in Automatic Separation Logic Verifiers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile