A view of program verification.

Ralph L. London

Published in: Reliable Software (1975)

Keyphrases

data sets
feature selection
website
expert systems
multiple views
information systems
clustering algorithm
image sequences
wide range
preprocessing
pairwise
viewpoint