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