Satisfiability-based program reasoning and program synthesis (2010)

by S Srivastava
Venue:University of Maryland