Report copyright - Back to the Future: Revisiting Precise Program Verification Using SMT Solvers Shuvendu Lahiri Shaz Qadeer Microsoft Research, Redmond Presented earlier
Please pass captcha verification before submit form
Please pass captcha verification before submit form