Boolean and Cartesian Abstraction for Model Checking C Programs (2001)

Cached

Download Links

by Thomas Ball , Andreas Podelski , Sriram K. Rajamani
Citations:175 - 14 self