Consistency analysis of decision-making programs (2014)

by Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid
Venue:In Principles of Programming Languages (POPL