Sign in
Software Verification with Liquid Types.
Ranjit Jhala
Published in:
APLAS (2011)
Keyphrases
</>
special case
machine learning
image processing
similarity measure
database
information systems
image sequences
high quality
cooperative
computer science
mathematical model
boundary conditions