Automating Separation Logic Using SMT. (2013)

by R Piskac, T Wies, D Zufferey
Venue:In CAV,