Home Publications

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

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • 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
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