@Proceedings{	  autexier.ea:proceedings:2002,
  address	= {Copenhagen, Denmark},
  editor	= {Serge Autexier and Heiko Mantel},
  month		= {July},
  note		= {Workshop in connection with Federated Logic Conference,
		  FLoC'02},
  publisher	= {DIKU},
  title		= {Proceedings of the Verification Workshop (VERIFY'02)},
  url		= {http://www.diku.dk/publikationer/tekniske.rapporter/2002/?PDF=PDF},
  year		= 2002
}