TY  - RPRT
TI  - Predicting Rankings of Software Verification Competitions
AU  - Mike Czech
AU  - Eyke Hüllermeier
AU  - Marie-Christine Jakobs
AU  - Heike Wehrheim
PY  - 2017
UR  - https://arxiv.org/abs/1703.00757
ID  - 1703.00757
ER  -