ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Separation Logic
ESOP
Sal B
Temporary Read-Only Permissions for Separation Logic
Arthur Charguéraud and François Pottier
(Inria, France)
Publisher's Version
Preprint
Supplementary Material

Authors:


Time stamp: 2019-04-25T08:27:20+02:00