Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis

Authors: Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz - Lecture notes in computer science 2007 cited by 181