@PhdThesis{Schwerhoff16, author = {M. Schwerhoff}, title = {Advancing Automated, Permission-Based Program Verification Using Symbolic Execution}, school = {ETH Zurich}, year = {2016} }