Ike Mulder - PLNL 2023

Fri 16 Jun 2023 Amsterdam, Netherlands

Registered user since Mon 15 Jun 2020

Name:Ike Mulder

Country:Netherlands

Affiliation:Radboud University Nijmegen

Personal website: https://ikemulder.nl

Contributions

2023

PLNL

Proof Automation for Disjunctions in Concurrent Separation Logic

Show activities from other conferences

PLNL 2023-profile
View general profile