Relative Completeness of Incorrectness Separation Logic.

Yeonseok Lee, Koji Nakazawa

Browse the full APLAS paper archive.