Login / Signup
Refinement Reflection: Complete Verification with SMT.
Niki Vazou
Anish Tondwalkar
Vikraman Choudhury
Ryan G. Scott
Ryan R. Newton
Philip Wadler
Ranjit Jhala
Published in:
CoRR (2017)
Keyphrases
</>
data sets
image sequences
color images
np complete
face verification
verification method