TY  - RPRT
TI  - Automated Lemma Synthesis in Symbolic-Heap Separation Logic
AU  - Quang-Trung Ta
AU  - Ton Chanh Le
AU  - Siau-Cheng Khoo
AU  - Wei-Ngan Chin
PY  - 2017
UR  - https://arxiv.org/abs/1710.09635
ID  - 1710.09635
ER  -