Muse - A Computer Assisted Verification System.

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

Published in: IEEE Trans. Software Eng. (1987)

Keyphrases

computer assisted
foreign language
computer aided
intraoperative
model checking
face verification
data sets
signature verification
formal verification
reading comprehension
surgical training
image segmentation
three dimensional
formal methods
fingerprint verification