6 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Mehdi Bagherzadeh, Syed Ahmed, Srilakshmi Sripathi +1
Context: Software developers are increasingly facing the challenges of writing code that is not only concurrent but also correct. Objective: To help these developers, it is necessa…