Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif. KIV: overview and VerifyThis competition. STTT, 17(6):677-694, 2015. [doi]
@article{ErnstPSHR15,
title = {KIV: overview and VerifyThis competition},
author = {Gidon Ernst and Jörg Pfähler and Gerhard Schellhorn and Dominik Haneberg and Wolfgang Reif},
year = {2015},
doi = {10.1007/s10009-014-0308-3},
url = {http://dx.doi.org/10.1007/s10009-014-0308-3},
researchr = {https://researchr.org/publication/ErnstPSHR15},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {17},
number = {6},
pages = {677-694},
}