Sign in
Software Verification with Liquid Types.
Ranjit Jhala
Published in:
VMCAI (2012)
Keyphrases
</>
computer vision
three dimensional
artificial intelligence
databases
machine learning
social networks
website
evolutionary algorithm
wireless sensor networks
probabilistic model
mathematical model