@proceedings{isola:2006,
  title = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  year = {2006},
  researchr = {https://researchr.org/publication/isola%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  conference = {ISoLA},
  publisher = {IEEE},
}