Login / Signup
CSolve: Verifying C with Liquid Types.
Patrick Maxim Rondon
Alexander Bakst
Ming Kawaguchi
Ranjit Jhala
Published in:
CAV (2012)
Keyphrases
</>
data sets
genetic algorithm
decision trees
mathematical model
real world
data mining
database systems
multiscale
medical images