@Talk{		  talk:brucker.ea:hol-ocl:2008,
  isodate	= {2008-03-31},
  title		= {HOL-OCL -- A Formal Proof Environment for UML/OCL},
  month		= mar,
  language	= {USenglish},
  year		= {2008},
  address	= {Budapest, Hungary},
  day		= {31},
  author	= {Achim D. Brucker and Burkhart Wolff},
  lecturer	= {Achim D. Brucker},
  event		= {Fundamental Approaches to Software Engineering
		  {(FASE08)}},
  slides	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-hol-ocl-2008.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-hol-ocl-2008-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker.ea-hol-ocl-2008}
		  
}