Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning.

Kevin Bierhoff

Browse the full OOPSLA paper archive.