@proceedings{DBLP:conf/fmcad/2002,
  title = "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002,
Proceedings",
  year = "2002",
  booktitle = "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002,
Proceedings",
  editor = "Mark Aagaard and John W. O'Leary",
  isbn = "3-540-00116-6",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2517",
}