Login / Signup
Methods for teaching program verification.
Susan L. Gerhart
Published in:
SIGCSE (1975)
Keyphrases
</>
empirical studies
online learning
computationally expensive
pros and cons
neural network
reinforcement learning
preprocessing
learning process
significant improvement
machine learning algorithms
benchmark datasets
machine learning methods
distance learning