Saurabh Srivastava

placeholder image for Saurabh Srivastava
Graduation Year:
2010
Dissertation:
Satisfiability-Based Program Reasoning and Synthesis
Advisor(s):