@InProceedings{BeckertGrebingUlbrich2017,
author = {Bernhard Beckert and Sarah Grebing and Mattias Ulbrich},
title = {An Interaction Concept for Program Verification
Systems with Explicit Proof Object},
booktitle = {13th Haifa Verification Conference (HVC 2017)},
series = {LNCS},
publisher = {Springer},
year = {2017}
}