Significance, necessity, and verification.

Leonard Goddard

Published in: Notre Dame J. Formal Log. (1980)

Keyphrases

asynchronous circuits
real time
verification method
formal verification
fingerprint verification
three dimensional
data structure
face verification
formal methods
integrity verification
real world
multimedia
evolutionary algorithm
model checking
statistical significance
signature verification