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:Haifa Verification Conference 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 = {Haifa Verification Conference 2017},
  year = {2017},
  note = {To appear.}
}