Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Evaluating and Improving the Usability of Interactive Verification Systems

Diplomarbeit
Autor(en):Sarah Grebing
Hochschule:Universität Koblenz-Landau
Jahr: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}
}