The AutoProof Verifier: Usability by Non-Experts and on Standard Code.

Carlo A. Furia Christopher M. Poskitt Julian Tschannen

Published in: F-IDE (2015)

Keyphrases

computer vision
neural network
search engine
website
search algorithm
digital libraries
end users