@Talk{		  talk:brucker:interactive:2007,
  isodate	= {2007-03-09},
  author	= {Achim D. Brucker},
  title		= {An Interactive Proof Environment for Object-oriented
		  Specifications},
  lecturer	= {Achim D. Brucker},
  address	= {ETH Zurich, Switzerland},
  month		= mar,
  event		= {Ph.D. Defense},
  day		= {9},
  language	= {USenglish},
  year		= {2007},
  slides	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker-interactive-2007.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker-interactive-2007-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-interactive-2007}
		  
}