@proceedings{DBLP:conf/fm/1999-1,
  title = "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I",
  year = "1999",
  booktitle = "World Congress on Formal Methods",
  editor = "Jeannette M. Wing and Jim Woodcock and Jim Davies",
  isbn = "3-540-66587-0",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1708",
}