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

Cached

Download Links

by Thomas Ball , Andreas Podelski , Sriram K. Rajamani
Citations:159 - 13 self