@Talk{		  talk:brucker:shallow:2004,
  isodate	= {2004-03-09},
  title		= {A Shallow Embedding of OCL into Isabelle/HOL and its
		  Application to Formal Testing},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  address	= {ETH Zurich, Switzerland},
  event		= {Meeting with the Information Security and Cryptography
		  Group},
  day		= {9},
  month		= mar,
  year		= {2004},
  language	= {USenglish},
  slides	= {http://www.brucker.ch/bibliography/download/2004/talk-brucker-shallow-2004.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2004/talk-brucker-shallow-2004-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-shallow-2004}
		  
}