An Exercise in Automatic Program Verification.

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

Keyphrases

fully automatic
knowledge base
databases
three dimensional
data driven
semi automatic
neural network
data mining
multiscale
learning algorithm
decision trees
high quality
natural language
digital libraries
viewpoint