• Sign in
  • Sign up
conf.researchr.org / Chinmay Narayan
  • SPLASH 2013 profile
No Photo

Not registered as user

Name:Chinmay Narayan

Contributions

2013

SPLASH

  • Author of Relaxed Separation Logic: A Program Logic for C11 Concurrency within the OOPSLA-track
Share
xSun 25 May 13:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up