@proceedings{DBLP:conf/icfem/2004,
  title = "Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle,
WA, USA, November 8-12, 2004, Proceedings",
  year = "2004",
  booktitle = "Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle,
WA, USA, November 8-12, 2004, Proceedings",
  editor = "Jim Davies and Wolfram Schulte and Michael Barnett",
  isbn = "3-540-23841-7",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3308",
}