Beyond 2-Safety: Asymmetric Product Programs for Relational               Program Verification

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	In Proceedings
Authors:	Barthe, Gilles Crespo, Juan Manuel Kunz, César
Editor:	Sergei N. Artëmov and Anil Nerode	Volume:	7734
Book title:	Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Series:	Lecture Notes in Computer Science	Pages:	29-43


ISBN:	978-3-642-35721-3, 978-3-642-357

@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", }
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
[Bibtex]