EasyChair Smart Slide
A Separation Logic with Data: Small Models and Automation
A Separation Logic with Data: Small Models and Automation