Login / Signup
A Comparative Review of Some Program Verification Methods.
Andrzej Blikle
Published in:
MFCS (1977)
Keyphrases
</>
search algorithm
significant improvement
computer vision
empirical studies
computationally expensive
data sets
e learning
website
decision trees
computational complexity
feature space
statistical models
machine learning methods
qualitative and quantitative