@Talk{		  talk:brucker:key-tool:2004,
  isodate	= {2004-01-21},
  title		= {The {KeY}-Tool},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  address	= {ETH Zurich, Switzerland},
  event		= {Seminar: Specification and Verification of Object-oriented
		  Software},
  day		= {21},
  month		= jan,
  year		= {2004},
  language	= {USenglish},
  slides	= {http://www.brucker.ch/bibliography/download/2004/talk-brucker-key-tool-2004.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2004/talk-brucker-key-tool-2004-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-key-tool-2004}
		  
}