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

著者: Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz - Lecture notes in computer science 2007 被引用: 181