Computer-Hindered Verification (Humans Can Do It Too).

Published in: CAV (1992)

Keyphrases

model checking
computer programs
face verification
database
information retrieval
computer systems
real time
data sets
real world
search engine
decision trees
face recognition
signature verification