C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Predicting Rankings of Software Verification Competitions.
Mike Czech
Eyke Hüllermeier
Marie-Christine Jakobs
Heike Wehrheim
Published in:
CoRR (2017)
Keyphrases
</>
databases
real time
database
neural network
website
data structure
multimedia
web services
high quality
rank correlation