David Basin - SAS 2020

Wed 18 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Not registered as user yet

Name:David Basin

Affiliation:ETH Zurich

Contributions

2020

SPLASH

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Show activities from other conferences

SPLASH 2020-profile
View general profile