@phdthesis{basesearch-6927,
  title = {Using Software Model Checking for Software Certification},
  author = {Ali Taleghani},
  year = {2010},
  url = {https://www.base-search.net/Record/859b4bf27c59bea6493d7f83ca6cd0b50c0304c2ad89108a02d108380f925f3d},
  note = {base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/5484)},
  researchr = {https://researchr.org/publication/basesearch-6927},
  cites = {0},
  citedby = {0},
  school = {University of Waterloo, Ontario, Canada},
}