## Separation logic for small-step Cminor (2007)

### Cached

### Download Links

by
Andrew W. Appel
,
Sandrine Blazy

Venue: | IN: THEOREM PROVING IN HIGHER ORDER LOGICS, 20TH INT. CONF. TPHOLS 2007 |

Citations: | 23 - 2 self |