Login / Signup

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.

Makoto TatsutaKoji NakazawaDaisuke Kimura
Published in: APLAS (2019)
Keyphrases