## Using first-order theorem provers in the Jahob data structure verification system (2007)

### Cached

### Download Links

by
Charles Bouillaguet
,
Viktor Kuncak
,
Thomas Wies
,
Karen Zee
,
Martin Rinard

Venue: | In Byron Cook and Andreas Podelski, editors, Verification, Model Checking, and Abstract Interpretation, LNCS 4349 |

Citations: | 21 - 1 self |