@conference{DBLP:conf/lfcs/BartheCK13,
author = "Gilles Barthe and Juan Manuel Crespo and C{\'e}sar Kunz",
booktitle = "Logical Foundations of Computer Science, International Symposium,               LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings",
crossref = "DBLP:conf/lfcs/2013",
editor = "Sergei N. Art{\"e}mov and               Anil Nerode",
isbn = "978-3-642-35721-3, 978-3-642-357",
note = "PROJECT: 1620 HATS, FP7-256980 NESSoS, Spanish project TIN2009-14599 DESAFIOS 10, Madrid Re-
gional project S2009TIC-1465 PROMETIDOS
PARTNERS: IMDEA
TIER: B
CITE(03/03/2014):7",
pages = "29-43",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
title = "{B}eyond 2-{S}afety: {A}symmetric {P}roduct {P}rograms for {R}elational               {P}rogram {V}erification",
volume = "7734",
year = "2013",
}