A Proof Slicing Framework for Program Verification

Date: October 30, 2013