@misc{1222226,
  author = {Irena Bojanova},
  title = {Formalizing Software Bugs},
  year = {2014},
  month = {2014-12-08 05:12:00},
  publisher = {Bugs Framework (BF)},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=957118},
  language = {en},
}