Arnab Sinha

First name

Arnab

Last name

Sinha

Sinha, Arnab, Sharad Malik, and Aarti Gupta. 2012. “Efficient Predictive Analysis for Detecting Nondeterminism in Multi-Threaded Programs”. In Formal Methods in Computer-Aided Design (FMCAD), 2012, 6–15. IEEE.

Reference Link