Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin. Automated mutual induction proof in separation logic. Formal Asp. Comput., 31(2):207-230, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.