234 followers
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. - Zhe Hou, Rajeev Goré, Alwen Tiu http://t.co/fQSafAtGEk
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. - Zhe Hou, Rajeev Goré, Alwen Tiu http://t.co/fQSafAtGEk