Mukherjee, Suvam <br/><br/>
Efficient static analyses for concurrent programs 
by Suvam Mukherjee 
 - Bangalore :  Indian Institute of Science,  2017. 
 - xvi, 127 p. :  ill. 
<br/><br/> Includes CD and bibliographical references 
<br/><br/>PhD;2017;Computer Science and Automation<br/> 
<br/><br/><label>Dewey Class. No.: </label>005.275 P17