@conference {424,
	title = {Probabilistic Programming: {A} True Verification Challenge},
	booktitle = {Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-319-24953-7_1},
	url = {http://dx.doi.org/10.1007/978-3-319-24953-7_1},
	author = {Joost-Pieter Katoen},
	editor = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang}
}