Program Verification: To Err is Human.

Krzysztof R. Apt

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

data mining
genetic algorithm
learning to rank
neural network
learning algorithm
e learning
human users
human factors
human communication