Expressing and verifying probabilistic assertions,” (2014)

by A Sampson, P Panchekha, T Mytkowicz, K S McKinley, D Grossman, L Ceze
Venue:in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM,