| Title | Expressing and Verifying Probabilistic Assertions |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Sampson A, Panchekha P, Mytkowicz T, McKinley K, Grossman D, Ceze L |
| Conference Name | Conference on Programming Language Design and Implementation (PLDI) |
| Date or Month Published | 06 |
| Downloads | http://www.cs.washington.edu/homes/djg/papers/passert-pldi14.pdf PDF |
| Citation Key | passert-pldi14 |
