@article{Eisner05,
  title = {Formal verification of software source code through semi-automatic modeling},
  author = {Cindy Eisner},
  year = {2005},
  url = {http://www.springerlink.com/index/10.1007/s10270-003-0042-x},
  tags = {modeling, source-to-source, open-source},
  researchr = {https://researchr.org/publication/Eisner05},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {4},
  number = {1},
  pages = {14-31},
}