Muse : A Computer Assisted Verification System.

J. Daniel Halpern Sam Owre Norman Proctor William F. Wilson

Published in: IEEE Symposium on Security and Privacy (1986)

Keyphrases

computer assisted
foreign language
computer aided
intraoperative
model checking
face verification
formal verification
computer assisted instruction
verification method
neural network
surgical training
project based learning
fingerprint verification