Inductive invariants for nested recursion (2003)

by Sava Krstić , John Matthews
Venue:Theorem Proving in Higher Order Logics (TPHOLS'03), volume 2758 of LNCS
Citations:4 - 2 self

Document Versions

Inductive invariants for nested recursion –Sava Krstić, John Matthews — 2003 — Theorem Proving in Higher Order Logics (TPHOLS'03), volume 2758 of LNCS
Inductive Invariants for Nested Recursion –Sava Krstic, John Matthews — 2003 — Theorem Proving in Higher Order Logics (TPHOLS'03), volume 2758 of LNCS
Inductive invariants for nested recursion –Sava Krstić, John Matthews — 2003 — Theorem Proving in Higher Order Logics (TPHOLS'03), volume 2758 of LNCS