Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alan Weide
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Not registered as user
Name:
Alan Weide
Contributions
2017
ECOOP
Author of Enabling Modular Verification of Concurrent Programs within the ECOOP Doctoral Symposium-track
Share
x
Sun 26 Oct 22:38