Report - Corral: A Solver for Reachability-Modulo-Theoriesiwls.org/iwls2012/invited/shaz.pdf · Shaz Qadeer is a Senior Researcher in the RiSE group (Research in Software Engineering) at Microsoft.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form