@techreport{HeuleKassiosMuellerSummers12, author = {S. Heule and I. T. Kassios and P. M\"uller and A. J. Summers}, title = { Verification Condition Generation for Permission Logics with Abstraction Functions}, institution = {ETH Zurich}, year = {2012}, number = {761} }