TY  - RPRT
TI  - Trace Properties from Separation Logic Specifications
AU  - Lars Birkedal
AU  - Thomas Dinsdale-Young
AU  - Guilhem Jaber
AU  - Kasper Svendsen
AU  - Nikos Tzevelekos
PY  - 2017
UR  - https://arxiv.org/abs/1702.02972
ID  - 1702.02972
ER  -