Saurabh Srivastava

Photo of Saurabh Srivastava
Graduation Year:
2010
Dissertation:
Satisfiability-Based Program Reasoning and Synthesis
Advisor(s):