@dblp

Automated Mutual Explicit Induction Proof in Separation Logic.

, , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 659-676. (2016)

Links and resources

Tags