Proof Tactics for Assertions in Separation Logic.

Zhe Hou, David Sann, Alwen Tiu, Yang Liu

Browse the full ITP paper archive.