C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SMT-Based Modular Analysis of Sequential Systems Code.
Shuvendu K. Lahiri
Published in:
CAV (2011)
Keyphrases
</>
complex systems
multimedia
evolutionary algorithm
source code
building blocks
data sets
expert systems
management system
distributed systems
retrieval systems
static analysis