Separation Logic Modulo Theories.

Juan Antonio Navarro Prez, Andrey Rybalchenko

Browse the full APLAS paper archive.