Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Evaluating and Improving the Usability of Interactive Verification Systems

Diploma Thesis
Author(s):Sarah Grebing
School:Universität Koblenz-Landau
Year:2012

BibTeX

@MASTERSTHESIS{GrebingDA,
  author = {Sarah Grebing},
  title = {Evaluating and Improving the Usability of Interactive Verification
	Systems},
  school = {Universit\"{a}t Koblenz-Landau},
  year = {2012},
  type = {Diploma thesis},
  month = {August}
}