Login / Signup
Usability of AutoProof: a case study of software verification.
Mansur Khazeev
Victor Rivera
Manuel Mazzara
Alexander Tchitchigin
Published in:
CoRR (2016)
Keyphrases
</>
case study
test bed
educational software
web usability
databases
machine learning
multi agent
expert systems
mobile devices
user experience
usability problems