Sign in
Using Types for Software Verification.
Ranjit Jhala
Published in:
CAV (2011)
Keyphrases
</>
genetic algorithm
computer vision
databases
neural network
multimedia
bayesian networks
multi agent
cooperative
support vector
object recognition
expert systems
management system