Boolean programs: A model and process for software analysis (technical report 2004-14), 2004. Cited 18 March 2006, Available at http://research.microsoft.com/slam (0)

by T Ball, S K Rajamani