Correct and Robust Programs.

Flaviu Cristian

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

Keyphrases

computationally efficient
data sets
computer vision
multimedia
decision trees
digital libraries
hidden markov models
provably correct