SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Ike Mulder

Registered user since Mon 15 Jun 2020

Name:Ike Mulder
Affiliation:Radboud University Nijmegen
Personal website:https://ikemulder.nl

Contributions

SPLASH 2023 Proof Automation for Linearizability in Separation Logic
Show activities from other conferences

Using general profile