Siran Lei, Mengqi Cheng, Jianguo Jiang. Tactics for Proving Separation Logic Assertion in Coq Proof Assistant. In ICVISP 2019: 3rd International Conference on Vision, Image and Signal Processing, Vancouver, BC, Canada, August 26-28, 2019. ACM, 2019. [doi]
Abstract is missing.