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