Home
DCC eCatalog
Sanjit_A.__Seshia
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
