Login / Signup
Nafi Diallo
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 7
Top Topics
Provably Correct
Fault Localization
Software Evolution
Automatic Programming
Top Venues
ICST
RAMiCS
ICSE (2)
J. Log. Algebraic Methods Program.
</>
Publications
</>