@InProceedings{FarinaCG2021,
  author = 	 {Gian Pietro Farina and Stephen Chong and Marco Gaboardi},
  title = 	 {Coupled Relational Symbolic Execution for Differential Privacy},
  booktitle =    {European Symposium on Programming},
  year = 	 2021,
  month =        mar,
  publisher =    {Springer}
}