Login / Signup
BAT: The Bit-Level Analysis Tool.
Panagiotis Manolios
Sudarshan K. Srinivasan
Daron Vroon
Published in:
CAV (2007)
Keyphrases
</>
analysis tool
artificial neural networks
database
databases
data structure
evolutionary algorithm
levels of abstraction