Searching for "Inductive Invariants for Nested Recursion." – sorted by Relevance.
-
Inductive invariants for nested recursion
- Inductive Invariants for Nested Recursion ⋆ Sava Krstić and John Matthews OGI School of Science
- Cited by 4 (2 self) – Add To MetaCart

