@InProceedings{AhrendtBaarBeckertEA00b,
  author    =    {Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert
                  and Martin Giese and Elmar Habermalz and Reiner
                  H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
  title     =    {The {\KeY} Approach: {I}ntegrating 
                  Design and Formal Verification of {J}ava {C}ard Programs},
  booktitle =    {{Java} {Card} Workshop ({JCW} 2000)},
  venue     =    {Cannes, France},
  editor    =    {I. Attali and T. Jensen},
  publisher =    {{INRIA}, Le Chesnay Cedex, France},
  year      =    {2000}
}