Home Publications

Relational Verification Using Product Programs

Research Area: Uncategorized Year: 2011
Type of Publication: In Proceedings
Authors:
  • Barthe, Gilles
  • Crespo, Juan Manuel
  • Kunz, César
Editor: Michael Butler and Wolfram Schulte Volume: 6664
Book title: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Series: Lecture Notes in Computer Science Pages: 200-214
ISBN: 978-3-642-21436-3
BibTex:
Note:
PARTNERS: IMDEA PROJECTS: HATS, NESSOS, DESAFIOS 10, PROMETIDOS NOTIER CITE(03/03/2014):24
[Bibtex]