Completeness of Separation Logic with Inductive Definitions for Program Verification.

Makoto Tatsuta, Wei-Ngan Chin

Browse the full SEFM paper archive.