VerifyThis Verification Competition 2012 – Organizer's Report

Technischer Bericht

Autor(en):Marieke Huisman, Vladimir Klebanov und Rosemary Monahan
Institution:Department of Informatics, Karlsruhe Institute of Technology
Nummer:2013-01
Jahr:2013

Anmerkung

Available at https://publikationen.bibliothek.kit.edu/1000034373

BibTeX

@techreport{verifythis2012,
  author =	{Marieke Huisman and Vladimir Klebanov and Rosemary Monahan}, 
  title  =	{{VerifyThis} Verification Competition 2012 -- Organizer's Report},
  institution =	{Department of Informatics, Karlsruhe Institute of Technology},
  number =	{2013-01},
  year =	{2013},
  month =       jan,
  note =	{Available at \url{https://publikationen.bibliothek.kit.edu/1000034373}}
}