Modular Checking of C Programs Using SAT-Based Bounded Model Checker | IEEE Conference Publication | IEEE Xplore