Thomas Ball Shuvendu K. Lahiri Madanlal Musuvathi Zap: Automated Theorem Proving for Software Analysis. 2-22 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_2 db/conf/lpar/lpar2005.html#BallLM05