Keyword:separation logic

Papers
EasyChair Preprint no. 4877
EasyChair Preprint no. 433