An interactive program verification system.

Donald I. Good Ralph L. London W. W. Bledsoe

Published in: Reliable Software (1975)

Keyphrases

interactive video
computer vision
user friendly
virtual reality
computer graphics
digital libraries
optimal solution
highly interactive
interactive systems
data visualization
probability distribution
database
multimedia
image processing
information systems
artificial intelligence
data mining
data sets
real time