@Talk{		  talk:brucker:verification:2007,
  isodate	= {2007-01-08},
  author	= {Achim D. Brucker},
  title		= {Verification of UML/OCL Specifications with HOL-OCL},
  lecturer	= {Achim D. Brucker},
  address	= {Innsbruck, Austria},
  month		= jan,
  event		= {Invited guest lecture, part of the lecture ``Formal
		  Specification and Verification'' (WS 2006)},
  day		= {8},
  language	= {USenglish},
  year		= {2007},
  slides	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker-verification-2007.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker-verification-2007-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-verification-2007}
		  
}