A Proof Slicing Framework for Program Verification.

Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin

Browse the full ICFEM paper archive.