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

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
Number:2013-01
Year:2013

Note

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}}
}