Media type: E-Book Title: VerifyThis Verification Competition 2012 : Organizer´s Report Contributor: Huisman, Marieke [Author]; Klebanov, Vladimir [Author]; Monahan, Rosemary [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2013 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2013,1 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden Systemvoraussetzungen: Acrobat reader Access State: Open Access