@Talk{		  talk:brucker:application:2007,
  isodate	= {2007-01-31},
  author	= {Achim D. Brucker},
  title		= {An Application of Isabelle/HOL: HOL-OCL},
  lecturer	= {Achim D. Brucker},
  address	= {ETH Zurich, Switzerland},
  month		= jan,
  event		= {Part of the lecture ``Computer supported Modeling and
		  Reasoning'' (WS 2006)},
  day		= {31},
  language	= {USenglish},
  year		= {2007},
  slides	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker-application-2007.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker-application-2007-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-application-2007}
		  
}