@proceedings{Melham:2004:FIW,
  title = "Fifth International Workshop on {D}esigning {C}orrect {C}ircuits: {B}arcelona, 27--28 {M}arch 2004: Participants' Proceedings",
  year = "2004",
  editor = "Tom Melham and Mary Sheeran",
  month = "March",
  note = "A Satellite Event of the {ETAPS} 2004 group of conferences",
  publisher = "ETAPS 2004",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Melham-2004-FIW.pdf",
}