Relational Verification Using Product Programs
Research Area: | Uncategorized | Year: | 2011 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
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] |