conference paper

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

Bouillaguet, Charles
•
Kuncak, Viktor  orcid-logo
•
Wies, Thomas
Show more
2007
Verification, Model Checking and Abstract Interpretation
Type
conference paper
DOI
10.1007/978-3-540-69738-1_5
Author(s)
Bouillaguet, Charles
Kuncak, Viktor  orcid-logo
Wies, Thomas
Zee, Karen
Rinard, Martin
Date Issued

2007

Published in
Verification, Model Checking and Abstract Interpretation
Start page

74

End page

88

Note

See http://infoscience.epfl.ch/search.py?recid=110245&ln=en for full version

Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10401