FairSquare: probabilistic verification of program fairness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori. FairSquare: probabilistic verification of program fairness. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

This author has not been identified. Look up 'Aws Albarghouthi' in GoogleThis author has not been identified. Look up 'Loris D'Antoni' in GoogleThis author has not been identified. Look up 'Samuel Drews' in GoogleThis author has not been identified. Look up 'Aditya V. Nori' in Google

runs on WebDSL