An Interaction Concept for Program Verification Systems with Explicit Proof Object

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Sarah Grebing, and Mattias Ulbrich
In:Haifa Verification Conference 2017
Year:2017

BibTeX

@InProceedings{BeckertGrebingUlbrich2017,
  author = {Bernhard Beckert and Sarah Grebing and Mattias Ulbrich},
  title = {An Interaction Concept for Program Verification
           Systems with Explicit Proof Object},
  booktitle = {Haifa Verification Conference 2017},
  year = {2017},
  month = nov,
  note = {To appear.}
}