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:Hardware and Software: Verification and Testing - 13th Haifa Verification Conference (HVC 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 = {Hardware and Software: Verification and Testing - 13th Haifa Verification Conference ({HVC} 2017)},
  year = {2017},
  month = nov,
  note = {To appear.}
}