@conference{DBLP:conf/icalp/BartheO13,
author = "Gilles Barthe and Federico Olmedo",
booktitle = "ICALP (2)",
editor = "Fedor V. Fomin and               Rusins Freivalds and               Marta Z. Kwiatkowska and               David Peleg",
isbn = "978-3-642-39211-5",
note = "(Partners: IMDEA
Projects: European Projects FP7-256980 NESSoS and FP7-229599 AMAROUT, Spanish project TIN2009-14599 DESAFIOS 10 and Madrid Regional project S2009TIC-1465 PROMETIDOS,
Tier: A)
CITE(03/03/2014):1",
pages = "49-60",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
title = "{B}eyond {D}ifferential {P}rivacy: {C}omposition {T}heorems and {R}elational               {L}ogic for f-divergences between {P}robabilistic {P}rograms",
volume = "7966",
year = "2013",
}