Software Verification with Liquid Types.

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