
@article {ar:Klebanov2014,
	title = {Precise Quantitative Information Flow Analysis {\textendash} A Symbolic Approach},
	journal = {Theoretical Computer Science},
	year = {2014},
	note = {In press.},
	author = {V. Klebanov}
}
