Software Verification with Liquid Types.

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