@techreport{BeckertBruns2012,
author = {Bernhard Beckert and Daniel Bruns and Ralf K\"usters and
Christoph Scheben and Schmitt, Peter H. and Tomasz Truderung},
title = {The {\KeY} Approach for the Cryptographic Verification of
{J}ava Programs: {A} Case Study},
institution = {Karlsruhe Institute of Technology, Dept. of Informatics},
type = {Karlsruhe Reports in Informatics},
number = {2012-8},
year = {2011}
}