@Proceedings{	  autexier.ea:verify06:2006,
  address	= {Seattle, USA},
  editor	= {Serge Autexier and Heiko Mantel},
  month		= {August, 15--16},
  note		= {Workshop in connection with Federated Logic Conference,
		  FLoC'06},
  publisher	= {FLoC},
  title		= {Proceedings of the Verification Workshop (VERIFY 2006)},
  url		= {http://www.easychair.org/FLoC-06/VERIFY.html},
  year		= 2006
}