SMT

file

Visible to the public Separation Logic Modulo Theories

Presented as part of the 2013 HCSS conference.

ABSTRACT: