Login / Signup
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.
Wei-Ngan Chin
Cristian Gherghina
Razvan Voicu
Quang Loc Le
Florin Craciun
Shengchao Qin
Published in:
CAV (2011)
Keyphrases
</>
data sets
data structure
learning algorithm