Report copyright - Zap: Automated Theorem Proving for Software …...Zap: Automated Theorem Proving for Software Analysis Thomas Ball, Shuvendu K. Lahiri, and Madanlal Musuvathi Microsoft Research ftball,shuvendu,[email protected]
Please pass captcha verification before submit form