@conference {97,
	title = {Preserving differential privacy under finite-precision semantics},
	booktitle = {Proceedings of the Eleventh Workshop on Quantitative Aspects of Programming Languages (QAPL)},
	year = {2013},
	publisher = {Open Publishing Association},
	organization = {Open Publishing Association},
	doi = {10.4204/EPTCS.117.1},
	url = {http://hal.inria.fr/hal-00780774},
	author = {Ivan Gazeau and Dale Miller and Catuscia Palamidessi},
	editor = {Bortolussi, Luca and Wiklicky, Herbert}
}