SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Peter Müller

Registered user since Wed 18 Jun 2014

Name:Peter Müller
Country:Switzerland
Affiliation:ETH Zurich
Personal website:http://www.pm.inf.ethz.ch

Contributions

SPLASH 2023 Verification-Preserving Inlining in Automatic Separation Logic Verifiers
Show activities from other conferences

Using general profile