Inductive Invariants for Nested Recursion

DOI10.1007/10930755_17zbMath1279.68289OpenAlexW1505809024MaRDI QIDQ3559770

No author found.

Publication date: 7 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10930755_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Partiality and recursion in interactive theorem provers – an overview ⋮ Partial and nested recursive function definitions in higher-order logic

This page was built for publication: Inductive Invariants for Nested Recursion