The current state of proving programs correct.

Ralph L. London

Published in: ACM Annual Conference (1) (1972)

Keyphrases

artificial intelligence
image processing
database
real world
social networks
computer vision
multimedia
three dimensional
expert systems
relational databases