Fictional Separation Logic.

Jonas Braband Jensen, Lars Birkedal

Browse the full ESOP paper archive.