VerifyThis Verification Competition 2012 – Organizer's Report

Technical Report

Author(s):Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan
Institution:Department of Informatics, Karlsruhe Institute of Technology
Year:2013
Number:2013-01

Note

Available at http://digbib.ubka.uni-karlsruhe.de/volltexte/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{http://digbib.ubka.uni-karlsruhe.de/volltexte/1000034373}}
}