@misc{217986,
  author = {Paul Black},
  title = {An Analysis Framework and Additive Software Analysis},
  year = {1970},
  publisher = {Dramatically Reducing Security Vulnerabilities},
  language = {en},
}