Completeness of Pointer Program Verification by Separation Logic.

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen

Browse the full SEFM paper archive.