[PPT] - Regression Verification: Proving Partial Equivalence Talk by Dennis PowerPoint Presentation