Publication:
The Future is Ours: Prophecy Variables in Separation Logic
Loading...
Journal
Abstract
Description
Metrics
Downloads
149 since deposited on 2021-11-02
41last month
9last week
Acq. date: 2025-12-12
Views
1819 since deposited on 2021-11-02
Acq. date: 2025-12-12
Citations
Metrics
Downloads
149 since deposited on 2021-11-02
41last month
9last week
Acq. date: 2025-12-12
Views
1819 since deposited on 2021-11-02
Acq. date: 2025-12-12
Citations