## Inductive invariants for nested recursion (2003)

### Cached

### Download Links

- [www.cse.ogi.edu]
- [web.cecs.pdx.edu]
- [www.cse.ogi.edu]
- [www.cse.ogi.edu]
- [programatica.cs.pdx.edu]
- DBLP

### Other Repositories/Bibliography

by
Sava Krstić
,
John Matthews

Venue: | Theorem Proving in Higher Order Logics (TPHOLS'03), volume 2758 of LNCS |

Citations: | 5 - 2 self |