Generics and verification in Ada.

William D. Young Donald I. Good

Published in: SIGPLAN (1980)

Keyphrases

model checking
face verification
formal verification
fingerprint verification
real time
data sets
feature extraction
artificial intelligence
feature selection
decision making
decision trees
bayesian networks
preprocessing
special case
person identification