@inproceedings{DBLP:conf/fm/BartheCK11,
  author    = {Gilles Barthe and
               Juan Manuel Crespo and
               C{\'e}sar Kunz},
  title     = {Relational Verification Using Product Programs},
  booktitle = {FM},
  year      = {2011},
  pages     = {200-214}
}