@proceedings{Sheeran:2002:DCC,
  title = "Designing Correct Circuits ({DCC}'02)",
  year = "2002",
  booktitle = "Designing Correct Circuits ({DCC}'02)",
  editor = "Mary Sheeran and Tom Melham",
  month = "April",
  note = "Proceedings of the Workshop on {D}esigning {C}orrect {C}ircuits held during 6--7 {A}pril 2002 in {G}renoble, {F}rance",
  publisher = "ETAPS 2002",
}