Login / Signup
Efficient Program Verification Using Binary Trees and Program Slicing.
Masakazu Takahashi
Noriyoshi Mizukoshi
Kazuhiko Tsuda
Published in:
KES (2004)
Keyphrases
</>
binary trees
program slicing
machine learning
expert systems
high dimensional
fuzzy logic
reverse engineering