Christoph Sprenger -

Registered user since Fri 28 Aug 2020

Name: Christoph Sprenger

Affiliation: ETH Zurich

Contributions

SPLASH 2020	Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track