User-Friendly Verification.

Pao-Ann Hsiung Farn Wang

Published in: FORTE (1999)

Keyphrases

user friendly
highly interactive
graphical user interface
user interface
graphical interface
back end
software package
online databases
model checking
open source
interactive data mining
senior citizens
real world
user friendly interface
command line
multimedia information
hands free
information retrieval