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