@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}
}