conf.researchr.org / Alan Weide
Not registered as user yet
Name:Alan Weide
Contributions
ECOOP 2017 | Author of Enabling Modular Verification of Concurrent Programs within the ECOOP Doctoral Symposium-track |
Not registered as user yet
Contributions
ECOOP 2017 | Author of Enabling Modular Verification of Concurrent Programs within the ECOOP Doctoral Symposium-track |