EasyChair Smart Slide
Program Analysis is Harder than Verification: A Computability Perspective
Program Analysis is Harder than Verification: A Computability Perspective