
@article {583,
	title = {Understanding Probabilistic Software Leaks},
	journal = {Science of Computer Programming},
	year = {2015},
	note = {Special Issue on New Ideas and Emerging Results in Understanding Software},
	author = {Gregor Snelting}
}
