An Interaction Concept for Program Verification Systems with Explicit Proof Object

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Sarah Grebing und Mattias Ulbrich
In:Hardware and Software: Verification and Testing - 13th Haifa Verification Conference (HVC 2017)
Jahr: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.}
}