@conference{DBLP:conf/fm/BartheCK11,
author = "Gilles Barthe and Juan Manuel Crespo and C{\'e}sar Kunz",
booktitle = "FM 2011: Formal Methods - 17th International Symposium on                Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings",
crossref = "DBLP:conf/fm/2011",
doi = "10.1007/978-3-642-21437-0_17",
editor = "Michael Butler and                Wolfram Schulte",
isbn = "978-3-642-21436-3",
note = "PARTNERS: IMDEA
PROJECTS: HATS, NESSOS, DESAFIOS 10, PROMETIDOS
NOTIER
CITE(03/03/2014):24",
pages = "200-214",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
title = "{R}elational {V}erification {U}sing {P}roduct {P}rograms",
volume = "6664",
year = "2011",
}