conf.researchr.org / Chinmay Narayan
Not registered as user yet
Name:Chinmay Narayan
Contributions
SPLASH 2013 | Author of Relaxed Separation Logic: A Program Logic for C11 Concurrency within the OOPSLA-track |
Not registered as user yet
Contributions
SPLASH 2013 | Author of Relaxed Separation Logic: A Program Logic for C11 Concurrency within the OOPSLA-track |