Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid
Consistency analysis of decision-making programs
POPL, 2014.
@inproceedings{POPL-2014-ChaudhuriFK, author = "Swarat Chaudhuri and Azadeh Farzan and Zachary Kincaid", booktitle = "{Proceedings of the 41st Symposium on Principles of Programming Languages}", doi = "10.1145/2535838.2535858", editor = "Suresh Jagannathan and Peter Sewell", isbn = "978-1-4503-2544-8", pages = "555--568", publisher = "{ACM}", title = "{Consistency analysis of decision-making programs}", year = 2014, }