• Sign in
  • Sign up
conf.researchr.org / David Basin
  • ISSTA 2017 profile
  • SPLASH 2020 profile

Not registered as user yet

Name: David Basin

Affiliation: ETH Zurich

Contributions

SPLASH 2020 Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track
Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track
ISSTA 2017 Author of Test Execution Checkpointing for Web Applications within the Technical Papers-track

Share
xSun 7 Mar 16:31
using conf.researchr.org (v1.43.2)
Support page
Sign Up